From beeb246632052399e88115e2d3e0714273935373 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Mon, 5 Mar 2018 21:18:55 -0700 Subject: [PATCH] cleanup README --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 88d5e64e..e439be46 100644 --- a/README.md +++ b/README.md @@ -264,6 +264,7 @@ prolog> :{{ local_member(X, Xs) :- member(X, Xs). }}: ``` + `use_module` directives can be qualified by adding a list of imports: ``` @@ -271,4 +272,4 @@ prolog> :- use_module(library(lists), [member/2]). ``` A qualified `use_module` can be used to remove imports from the -toplevel by giving it an empty import list. +toplevel by calling it with an empty import list. -- 2.54.0