explain .scryerrc configuration file

diff --git a/README.md b/README.md
index f60ee75a619f8b59e0bedf36129a97ca56a54d69..9c33caea6404f1d82393eb128eec8709a753d259 100644 (file)
--- a/README.md
+++ b/README.md
@@ -473,3 +473,17 @@ local_member(X, Xs) :- member(X, Xs).
 
 The user listing can also be terminated by placing `end_of_file.` at
 the end of the stream.
+
+### Configuration file
+
+At startup, Scryer Prolog consults the file `~/.scryerrc`, if the file
+exists. This file is useful to automatically load libraries and define
+predicates that you need often.
+
+For example, a sensible starting point for `~/.scryerrc` is:
+
+```
+:- use_module(library(lists)).
+:- use_module(library(dcgs)).
+:- use_module(library(reif)).
+```