ogic.0.9.117.source-code.builtins.pl Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of logic Show documentation

Rich syntax trees and parsers for working with first order logic.

There is a newer version: 0.9.97

/* Builts-ins for prolog. */
not(X) :- call(X),!,fail.
not(X).

\+(X) :- call(X),!,fail.
\+(X).

member(X, [X|_]).
member(X, [_|Tail]) :- member(X, Tail).

append([], List, List).
append([H|Tail1], List2, [H|Tail3]) :- append(Tail1, List2, Tail3).