











Study with the several resources on Docsity
Earn points by helping other students or get them with a premium plan
Prepare for your exams
Study with the several resources on Docsity
Earn points to download
Earn points by helping other students or get them with a premium plan
Community
Ask the community for help and clear up your study doubts
Discover the best universities in your country according to Docsity users
Free resources
Download our free guides on studying techniques, anxiety management strategies, and thesis advice from Docsity tutors
Material Type: Notes; Class: PRINCPLS OF PROGRAMMNG LANGUAGES; Subject: Computer Science; University: University of California-Riverside; Term: Unknown 1989;
Typology: Study notes
1 / 19
This page cannot be seen from the preview
Don't miss anything!
Vladimir Vacic, Christos Koufogiannakis, University of California at Riverside
Vladimir Vacic, Christos Koufogiannakis, University of California at Riverside
.(a,.(b,.(c,[])))[a,b,c] ^ Lists can contain other lists and variables
[ ] [the, men, [like, to, fish]][a,V1,b,[X,Y]]
Vladimir Vacic, Christos Koufogiannakis, University of California at Riverside
and
tail Y^ is written^ [X|Y]
[[b,c]] a [a, [b,c]]
[[b], c] a [a,[b], c]
[c] [a,b] [[a,b], c]
(None) (None) [ ]
[b,c] a [a, b, c]
Tail Head List
Vladimir Vacic, Christos Koufogiannakis, University of California at Riverside
X=john
Y=[likes, [football, baseball]]
Vladimir Vacic, Christos Koufogiannakis, University of California at Riverside
Vladimir Vacic, Christos Koufogiannakis, University of California at Riverside
circular
definitions
parent(X,Y) :- child(Y,X).child(A,B) :- parent(B,A).
Vladimir Vacic, Christos Koufogiannakis, University of California at Riverside
N1 is N-1,factorial(N1, F1),F is N * F1.
Vladimir Vacic, Christos Koufogiannakis, University of California at Riverside
Vladimir Vacic, Christos Koufogiannakis, University of California at Riverside
Vladimir Vacic, Christos Koufogiannakis, University of California at Riverside
member(X, [5, 9, 24, 17, 5, 2]),X < 4.
Vladimir Vacic, Christos Koufogiannakis, University of California at Riverside
candidate_solution(X),test_solution(X),!.
Vladimir Vacic, Christos Koufogiannakis, University of California at Riverside
. 4th edition. New
York: Springer-Verlag. 1994. Aaby, A.
Prolog Tutorial
. Walla Walla
College. 1997. On line.http://cs.wwc.edu/~cs_dept/KU/PR/Prolog.html