Summary: Prolog predefined stuff Useful custom functions
= - unification (doesn't evaluate)
\= - true if unification fails
== - identity
\== - identity predicate negation
=:= - arithmetic equality predicate
=\= - arithmetic equality negation
is ­ variable on left is unbound,
variables on right have been instantiated.
member(X,List)
%member(X,List) - checks if X is a member of
a List
member(X,[X|_]).
member(X,[_|Rest]):- member(X,Rest).
conc(L1,L2,List)
%conc(L1,L2,List) - adds list L2 to L1 and
returns L3
%- example conc([b,c],[a,b,e],X). X =
[b,c,a,b,e]
conc([],L,L).

Source: Allan, Vicki H. - Department of Computer Science, Utah State University

Collections: Computer Technologies and Information Sciences