1 / 20

Recursion, Structures, and Lists

Recursion, Structures, and Lists. Artificial Intelligence Programming in Prolog Lecturer: Tim Smith Lecture 4 04/10/04. The central ideas of Prolog. SUCCESS/FAILURE any computation can “ succeed '' or “ fail '', and this is used as a ‘ test ‘ mechanism. MATCHING

alijah
Download Presentation

Recursion, Structures, and Lists

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Recursion, Structures, and Lists Artificial Intelligence Programming in Prolog Lecturer: Tim Smith Lecture 4 04/10/04 AIPP Lecture 3: Recursion, Structures, and Lists

  2. The central ideas of Prolog • SUCCESS/FAILURE • any computation can “succeed'' or “fail'', and this is used as a ‘test‘ mechanism. • MATCHING • any two data items can be compared for similarity, and values can be bound to variables in order to allow a match to succeed. • SEARCHING • the whole activity of the Prolog system is to search through various options to find a combination that succeeds. • Main search tools are backtracking and recursion • BACKTRACKING • when the system fails during its search, it returns to previous choices to see if making a different choice would allow success. AIPP Lecture 3: Recursion, Structures, and Lists

  3. Likes program 1) drinks(alan,beer). 2) likes(alan,coffee). 3) likes(heather,coffee). 4) likes(Person,Drink):- drinks(Person,Drink). 5) likes(Person,Somebody):- likes(Person,Drink), likes(Somebody,Drink). AIPP Lecture 3: Recursion, Structures, and Lists

  4. Representing Proof using Trees • To help us understand Prolog’s proof strategy we can represent its behaviour using AND/OR trees. • Query is the top-most point (node) of the tree. • Tree grows downwards (looks more like roots!). • Each branch denotes a subgoal. • The branch is labelled with the number of the matching clause and • any variables instantiated when matching the clause head. • Each branch ends with either: • A successful match , • A failed match , or • Another subgoal. |?- likes(alan,X). 2 X/coffee 1st solution = “Alan likes coffee.” X = coffee AIPP Lecture 3: Recursion, Structures, and Lists

  5. Representing Proof using Trees (2) • Using the tree we can see what happens when we ask • for another match ( ; ) |?- likes(alan,X). Backtracking 2 4 X/coffee X = coffee drinks(alan,X). 1st match is failed and forgotten 1 X/beer X = beer 2nd solution = “Alan likes beer because Alan drinks beer.” AIPP Lecture 3: Recursion, Structures, and Lists

  6. Recursion using Trees • When a predicate calls itself within its body we say • the clause is recursing |?- likes(alan,X). Conjoined subgoals 2 5 X/coffee 4 X = coffee drinks(alan,X). likes(alan,Drink) likes(Somebody,Drink) 2 X/coffee 1 X/beer X = beer X = coffee AIPP Lecture 3: Recursion, Structures, and Lists

  7. Recursion using Trees (2) • When a predicate calls itself within its body we say • the clause is recursing |?- likes(alan,X). 2 5 X/coffee 4 X = coffee drinks(alan,X). likes(alan,coffee) likes(Somebody,coffee) 2 X/coffee 1 X/beer Somebody /alan 2 X = beer X = coffee Somebody = alan 3rd solution = “Alan likes Alan because Alan likes coffee.” AIPP Lecture 3: Recursion, Structures, and Lists

  8. Recursion using Trees (3) • When a predicate calls itself within its body we say • the clause is recursing |?- likes(alan,X). 2 5 X/coffee 4 X = coffee drinks(alan,X). likes(Somebody,coffee) likes(alan,coffee) 1 X/beer Somebody / heather 3 Somebody /alan X/coffee 2 X = beer 2 X = coffee Somebody = heather 4th solution = “Alan likes Heather because Heather likes coffee.” Somebody = alan AIPP Lecture 3: Recursion, Structures, and Lists

  9. Infitite Recursive Loop • If a recursive clause is called with an incorrect goal it will loop • as it can neither prove it • nor disprove it. likes(Someb,coffee) Somebody = alan 3 5 2 likes(Someb,coffee) 2 Somebody = heather likes(coffee,coffee) Someb = alan likes(coffee,X) likes(coffee,X) likes/2 is a left recursive clause. likes(coffee,X2) likes(X,X2) likes(coffee,X3) likes(X2,X3) AIPP Lecture 3: Recursion, Structures, and Lists

  10. Why use recursion? • It allows us to define very clear and elegant code. • Why repeat code when you can reuse existing code. • Relationships may be recursive e.g. “X is my ancestor if X is my Ancestor’s ancestor.” • Data is represented recursively and best processed iteratively. • Grammatical structures can contain themselves • E.g. NP  (Det) N (PP), PP  P (NP) • Ordered data: each element requires the same processing • Allows Prolog to perform complex search of a problem space without any dedicated algorithms. AIPP Lecture 3: Recursion, Structures, and Lists

  11. Prolog Data Objects (Terms) Structured Objects Simple objects Constants Variables Structures Lists X A_var _Var date(4,10,04) person(bob,48) [] [a,b,g] [[a],[b]] [bit(a,d),a,’Bob’] Atoms Integers -6 987 Symbols Signs Strings a bob l8r_2day <---> ==> … ‘a’ ‘Bob’ ‘L8r 2day’ AIPP Lecture 3: Recursion, Structures, and Lists

  12. Structures • To create a single data element from a collection of related terms we use a structure. • A structure is constructed from a functor (a constant symbol) and one of more components. somerelationship(a,b,c,[1,2,3]) • The components can be of any type: atoms, integers, variables, or structures. • As functors are treated as data objects just like constants they can be unified with variables functor |?- X = date(04,10,04). X = date(04,10,04)? yes AIPP Lecture 3: Recursion, Structures, and Lists

  13. Structure unification • 2 structures will unify if • the functors are the same, • they have the same number of components, • and all the components unify. | ?- person(Nm,london,Age) = person(bob,london,48). Nm = bob, Age = 48? yes | ?- person(Someone,_,45) = person(harry,dundee,45). Someone = harry ? yes • (A plain underscore ‘_’ is not bound to any value. By using it you are telling Prolog to ignore this argument and not report it.) AIPP Lecture 3: Recursion, Structures, and Lists

  14. Structure unification (2) • A structure may also have another structure as a component. |?-addr(flat(4),street(‘Home Str.’),postcode(eh8_9lw)) = addr(flat(Z),Yy,postcode(Xxx)). Z = 4, Yy = street(‘Home Str.’), Xxx = eh8_9lw ? yes • Unification of nested structures works recursively: • first it unifies the entire structure, • then it tries to unify the nested structures. Remember to close brackets! Reported variables are ordered according to number of characters in the variable name. AIPP Lecture 3: Recursion, Structures, and Lists

  15. Structures = facts? • The syntax of structures and facts is identical but: • Structures are not facts as they are not stored in the database as being true (followed by a period ‘.’); • Structures are generally just used to group data; • Functors do not have to match predicate names. • However predicates can be stored as structures command(X):- X. | ?- X = write(‘Passing a command’), command(X). Passing a command X = write('Passing a command') ? yes By instantiating a variable with a structure which is also a predicate you can pass commands. AIPP Lecture 3: Recursion, Structures, and Lists

  16. Lists • A collection of ordered data. • Has zero or more elements enclosed by square brackets (‘[ ]’) and separated by commas (‘,’). [a]  a list with one element []  an empty list 1 2 3 1 2 [34,tom,[2,3]]  a list with 3 elements where the 3rd element is a list of 2 elements. • Like any object, a list can be unified with a variable |?- [Any, list, ‘of elements’] = X. X = [Any, list, ‘of elements’]? yes AIPP Lecture 3: Recursion, Structures, and Lists

  17. List Unification • Two lists unify if they are the same length and all their elements unify. |?-[a,B,c,D]=[A,b,C,d]. |?-[(a+X),(Y+b)]=[(W+c),(d+b)]. A = a, W = a, B = b, X = c, C = c, Y = d? D = d ? yes yes |?- [[X,a]]=[b,Y]. |?-[[a],[B,c],[]]=[X,[b,c],Y]. no B = b, X = [a], Y = [] ? yes Length 2 Length 1 AIPP Lecture 3: Recursion, Structures, and Lists

  18. Definition of a List • Lists are recursively defined structures. “An empty list, [], is a list. A structure of the form [X, …] is a list if X is a term and […] is a list, possibly empty.” • This recursiveness is made explicit by the bar notation • [Head|Tail](‘|’ = bottom left PC keyboard character) • Head must unify with a single term. • Tail unifies with a list of any length, including an empty list, []. • the bar notation turns everything after the Head into a list and unifies it with Tail. AIPP Lecture 3: Recursion, Structures, and Lists

  19. Head and Tail |?-[a,b,c,d]=[Head|Tail]. |?-[a,b,c,d]=[X|[Y|Z]]. Head = a, X = a, Tail = [b,c,d]? Y = b, yes Z = [c,d]; yes |?-[a] = [H|T]. |?-[a,b,c]=[W|[X|[Y|Z]]]. H = a, W = a, T = []; X = b, yes Y = c, Z = []? yes |?-[] = [H|T]. |?-[a|[b|[c|[]]]]= List. no List = [a,b,c]? yes AIPP Lecture 3: Recursion, Structures, and Lists

  20. Summary • Prolog’s proof strategy can be represented using AND/OR trees. • Tree representations allow us trace Prolog’s search for multiple matches to a query. • They also highlight the strengths and weaknesses of recursion (e.g. economical code vs. infinite looping). • Recursive data structures can be represented as structures or lists. • Structures can be unified with variables then used as commands. • Lists can store ordered data and allow its sequential processing through recursion. AIPP Lecture 3: Recursion, Structures, and Lists

More Related