From 546aeea479d360769b8a804633c2a48f4c10af46 Mon Sep 17 00:00:00 2001
From: Mark Thom <markjordanthom@gmail.com>
Date: Wed, 3 Apr 2019 18:13:05 -0600
Subject: [PATCH] move forall/2 to non_iso, correct test cases.

---
 src/prolog/lib/non_iso.pl | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 src/prolog/lib/non_iso.pl

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).
+
-- 
2.54.0