Section3 Prologppt

Chapter 3 Lists , Operators and Arithmetic

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

[object Object],[object Object],[object Object],[object Object],Ex.1:[ann , tennis , tom , football]. Ex.2:[ann , X , sport(tennis) , [tom , skiing]]. ann: atom X: variable sport(tennis):structure with functor sport / 1 argument. [tom , skiing]:anther list.

[object Object],i.e. :to represent it as a structure with functor . , and in binary tree ( 2 - arguments ). ,[object Object],Where: Head: First argument object. Tail: The rest of objects. Functor Head Tail Two arguments

[object Object],. ann . tennis . tom . football [] . (ann , . (tennis , . (tom , . (football , [])))).

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

(1) Membership / 2 ,[object Object],object ,[object Object],[object Object],Means: number of arguments are two list Yes object list member(a , [1 , b , c]) No

[object Object],(Fact) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],X = a; X = b; X = c; no

[object Object],member (X , Tail) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

[object Object],[object Object],[object Object],[object Object],Yes To satisfy member (X , [a , d]) It go to member(X , [X | _ ]) again and try to satisfy, but here at this time it is satisfied then it answers Stop Practice

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Why?? Two lists ,[object Object],[object Object],[object Object],Concatenation /3 Means : three lists Conc of L1 , L2. The same [Head | Tail] empty X L1 X L3 L2

[object Object],[object Object],Answer: practical Let us see ,[object Object],conc ([] , L , L). conc ([X | L1] , L2 , [X | L3]) :- conc (L1 , L2 , L3). ,[object Object],[object Object],[object Object],[object Object],[object Object],L1 =[a , b] L2 =[c]; L1 =[a , b ,c] L2 =[]; no Decomposition process. For a list into two lists

[object Object],[object Object],[object Object],Vip: ,[object Object],[object Object],[object Object],[object Object],[object Object]

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Section3 Prologppt

Recommandé

Recommandé

Contenu connexe

Tendances

Tendances (20)

Similaire à Section3 Prologppt

Similaire à Section3 Prologppt (20)

Dernier

Dernier (20)

Section3 Prologppt