Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Prolog predefined stuff Useful custom functions = -unification (doesn't evaluate)
 

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