ima.0.8.1.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 aima Show documentation

Library of code developed from 'Artificial Intelligence a Modern Approach', Prentice Hall.

There is a newer version: 0.8.3

/* 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).