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

Merge pull request #3232 from triska/not_si

Browse Source 
ADDED: not_si/1
This commit is contained in:
Mark Thom
2026-03-09 22:09:09 -07:00
committed by GitHub
parent 4d144ea819 0dc94ecc0b
commit 02f86587b5
1 changed files with 12 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
src/lib/si.pl
View File

@@ -40,6 +40,7 @@
term_si/1, term_si/1,
chars_si/1, chars_si/1,
dif_si/2, dif_si/2,
not_si/1,
when_si/2]). when_si/2]).
:- use_module(library(lists)). :- use_module(library(lists)).
@@ -100,6 +101,17 @@ dif_si(X, Y) :-
; throw(error(instantiation_error,dif_si/2)) ; throw(error(instantiation_error,dif_si/2))
). ).
%% not_si(+Goal).
%
% True if Goal is not provable. Instantiation error if Goal is not
% ground.
:- meta_predicate(not_si(0)).
not_si(Goal) :-
term_si(Goal),
\+ Goal.
:- meta_predicate(when_si(+, 0)). :- meta_predicate(when_si(+, 0)).
%% when_si(Condition, Goal). %% when_si(Condition, Goal).