From 862197fc965df370f28321e70e902a3ce7a74f59 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Sat, 13 Jun 2020 16:47:02 +0200 Subject: [PATCH] explain .scryerrc configuration file --- README.md | 14 ++++++++++++++ 1 file changed, 14 insertions(+) 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)). +``` -- 2.54.0