From: Markus Triska <triska@metalevel.at>
Date: Sat, 13 Jun 2020 14:47:02 +0000 (+0200)
Subject: explain .scryerrc configuration file
X-Git-Tag: v0.8.127~36^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=862197fc965df370f28321e70e902a3ce7a74f59;p=scryer-prolog.git

explain .scryerrc configuration file
---

diff --git a/README.md b/README.md
index f60ee75a..9c33caea 100644
--- 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)).
+```