From: Mark Thom <markjordanthom@gmail.com>
Date: Thu, 4 Apr 2019 00:13:05 +0000 (-0600)
Subject: move forall/2 to non_iso, correct test cases.
X-Git-Tag: v0.8.110~122
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=546aeea479d360769b8a804633c2a48f4c10af46;p=scryer-prolog.git

move forall/2 to non_iso, correct test cases.
---

diff --git a/src/prolog/lib/non_iso.pl b/src/prolog/lib/non_iso.pl
new file mode 100644
index 00000000..b80d9fac
--- /dev/null
+++ b/src/prolog/lib/non_iso.pl
@@ -0,0 +1,10 @@
+%% for builtins that are not part of the ISO standard.
+%% must be loaded at the REPL with
+
+%% ?- use_module(library(non_iso)).
+
+:- module(non_iso, [forall/2]).
+
+forall(Generate, Test) :-
+    \+ (Generate, \+ Test).
+