Προγράμματα και Δομές Δεδομένων

Παρουσίαση με θέμα: "Προγράμματα και Δομές Δεδομένων"— Μεταγράφημα παρουσίασης:

1 Προγράμματα και Δομές Δεδομένων
ΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ 5ο Εξάμηνο Ενότητα 6 - Προγράμματα και Δομές Δεδομένων στην PROLOG Δημοσθένης Σταμάτης Τμήμα Πληροφορικής T.E.I. ΘΕΣΣΑΛΟΝΙΚΗΣ

2 Οι Συναρτησιακοί Οροι (funtional terms)
δεν είναι εκτελέσιμοι! (1/2) lives(name(nick, antoniou), address(kriezotou, 15)). lives(name(john,stratakis), address(papanikou, 9)). lives(name(nick, farmakis), address(antheon, 112)). ?- name(nick, X). no ?- lives(name(nick, Χ), address(Υ, Ζ)). Χ = antoniou, Υ = kriezotou, Ζ = 15 ->; Χ = farmakis, Υ = antheon, Ζ = >; no

3 Οι Συναρτησιακοί Οροι (funtional terms)
δεν είναι εκτελέσιμοι! (2/2) lives(name(nick, antoniou), address(kriezotou, 15)). lives(name(john,stratakis), address(papanikou, 9)). lives(name(nick, farmakis), address(antheon, 112)). ?- lives(name(nick, Χ), Υ). Χ = antoniou, Υ = address(kriezotou, 15) ->; Χ = farmakis, Υ = address(antheon, 112) ->; no ?- lives(name(nick, Χ), _). Χ = antoniou ->; Χ = farmakis ->; no

4 Από τα Γεγονότα στους Κανόνες! (1/3)
Από τα Γεγονότα στους Κανόνες! (1/3) lives(name(nick, antoniou), address(kriezotou, 15)). lives(name(john,stratakis), address(papanikou, 9)). lives(name(nick, farmakis), address(antheon, 112)). findname(X,Y) :- lives(name(X,Y), _ ). ?- findname(nick, X). Χ = antoniou ->; Χ = farmakis ->; no

5 Από τα Γεγονότα στους Κανόνες! (2/3)
Από τα Γεγονότα στους Κανόνες! (2/3) lives(name(nick, antoniou), address(kriezotou, 15)). lives(name(john,stratakis), address(papanikou, 9)). lives(name(nick, farmakis), address(antheon, 112)). findname(X,Y) :- lives(name(X,Y), _ ). ?- findname(X, antoniou). Χ = nick ->; no

6 Από τα Γεγονότα στους Κανόνες! (3/3)
Από τα Γεγονότα στους Κανόνες! (3/3) lives(name(nick, antoniou), address(kriezotou, 15)). lives(name(john,stratakis), address(papanikou, 9)). lives(name(nick, farmakis), address(antheon, 112)). findname(X,Y) :- lives(name(X,Y), _ ). ?- findname(X, Y). Χ = nick, Y = antoniou ->; Χ = john, Y = stratakis ->; Χ = nick, Y = farmakis ->; no

7 Αναδρομικοί Κανόνες (Recursive Rules)
parent(nikos, yannis). parent(yannis, dimitris). parent(dimitris, sakis). ancestor(X,Y) :- parent(X,Y). ancestor(X,Y) :- parent(X,Z), ancestor(Z,Y). ?- ancestor(X, sakis). Χ = dimitris ->; Χ = yannis ->; Χ = nikos ->; no