shithub: pprolog

ref: a8b1fadd149126e9c8d3081a56d206812211f1e6
dir: /stdlib.pl/

View raw version 
% Logic and control predicates
\+ Goal :- call(Goal), !, fail.
\+ Goal.

once(Goal) :-
	call(Goal),
	!.

repeat :- true ; repeat.

% Control structures. 
true.

If -> Then :-
	If, !, Then.

If -> Then ; _ :- 
	If, !, Then.
_ -> _ ; Else :-
	!, Else.
If ; _ :-
	If.
_ ; Else :-
	Else.

% Term unification
A = A.

A \= B :- 
	\+ A = B.