rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

add de facto standard forall/2 predicate as a built-in predicate

Browse Source
This commit is contained in:
Paulo Moura
2019-04-03 11:58:29 +01:00
parent 98f9027b2e
commit 785d8d28e3
3 changed files with 13 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
src/tests.rs
View File

@@ -1802,6 +1802,13 @@ fn test_queries_on_builtins()
[["S = [_240, 1, 2]", "X = _0", "Y = _5"]]);
assert_prolog_success!(&mut wam, "?- setof(X, (exists(U,V) ^ member(X, [V,U,f(U),f(V)])), [a,b,f(b),f(a)]).");
assert_prolog_failure!(&mut wam, "?- forall(true, fail).");
assert_prolog_success!(&mut wam, "?- forall(fail, true)");
assert_prolog_success!(&mut wam, "?- catch(forall(_, true), error(instantiation_error, _), true).");
assert_prolog_success!(&mut wam, "?- catch(forall(true, _), error(instantiation_error, _), true).");
assert_prolog_success!(&mut wam, "?- catch(forall(1, true), error(type_error(callable, 1), _), true).");
assert_prolog_success!(&mut wam, "?- catch(forall(true, 1), error(type_error(callable, 1), _), true).");
submit(&mut wam, "
:- dynamic(cat/0).
cat.