1. Introduction to Prolog
เนื้อหาบางส่วนจาก Jeremy Dawson, Australian National University
เนื้อหาบางส่วนจาก Patrick Blackburn, Johan Bos & Kristina Striegnitz

8. Knowledge Base 1
woman(mia). woman(jody). woman(yolanda). playsAirGuitar(jody). party. ?-

9. Knowledge Base 1
woman(mia). woman(jody). woman(yolanda). playsAirGuitar(jody). party.
?- party.

10. Knowledge Base 1
woman(mia). woman(jody). woman(yolanda). playsAirGuitar(jody). party.
?- party.
yes ?-

11. Knowledge Base 1
woman(mia). woman(jody). woman(yolanda). playsAirGuitar(jody). party.
?- rockConcert.

12. Knowledge Base 1
woman(mia). woman(jody). woman(yolanda). playsAirGuitar(jody). party.
?- rockConcert. no ?-

13. Knowledge Base 1
woman(mia). woman(jody). woman(yolanda). playsAirGuitar(jody). party.
?- woman(mia).
yes ?-

14. Knowledge Base 1
woman(mia). woman(jody). woman(yolanda). playsAirGuitar(jody). party.
?- woman(mia).
yes
?- playsAirGuitar(jody).

15. Knowledge Base 1
woman(mia). woman(jody). woman(yolanda). playsAirGuitar(jody). party.
?- woman(mia).
yes
?- playsAirGuitar(jody). ?-

16. Knowledge Base 1
woman(mia). woman(jody). woman(yolanda). playsAirGuitar(jody). party.
?- woman(mia).
yes
?- playsAirGuitar(jody).
?- playsAirGuitar(mia). no

17. Knowledge Base 1
woman(mia). woman(jody). woman(yolanda). playsAirGuitar(jody). party.
?- tattoed(jody).

18. Knowledge Base 1
woman(mia). woman(jody). woman(yolanda). playsAirGuitar(jody). party.
?- tattoed(jody).
ERROR: predicate tattoed/1 not defined. ?-

28. Knowledge Base 2
happy(yolanda). listens2music(mia). listens2music(yolanda):- happy(yolanda). playsAirGuitar(mia):- listens2music(mia). playsAirGuitar(yolanda):- listens2music(yolanda).

29. Knowledge Base 2
fact
happy(yolanda). listens2music(mia). listens2music(yolanda):- happy(yolanda). playsAirGuitar(mia):- listens2music(mia). playsAirGuitar(yolanda):- listens2music(yolanda).

30. Knowledge Base 2 fact fact
happy(yolanda). listens2music(mia). listens2music(yolanda):- happy(yolanda). playsAirGuitar(mia):- listens2music(mia). playsAirGuitar(yolanda):- listens2music(yolanda).
fact

31. Knowledge Base 2 fact fact rule
happy(yolanda). listens2music(mia). listens2music(yolanda):- happy(yolanda). playsAirGuitar(mia):- listens2music(mia). playsAirGuitar(yolanda):- listens2music(yolanda).
fact
rule

32. Knowledge Base 2 fact fact rule rule
happy(yolanda). listens2music(mia). listens2music(yolanda):- happy(yolanda). playsAirGuitar(mia):- listens2music(mia). playsAirGuitar(yolanda):- listens2music(yolanda).
fact
rule
rule

33. Knowledge Base 2 fact fact rule rule rule
happy(yolanda). listens2music(mia). listens2music(yolanda):- happy(yolanda). playsAirGuitar(mia):- listens2music(mia). playsAirGuitar(yolanda):- listens2music(yolanda).
fact
rule
rule
rule

34. Knowledge Base 2 head body
happy(yolanda). listens2music(mia). listens2music(yolanda):- happy(yolanda). playsAirGuitar(mia):- listens2music(mia). playsAirGuitar(yolanda):- listens2music(yolanda).
head
body

35. Knowledge Base 2
happy(yolanda). listens2music(mia). listens2music(yolanda):- happy(yolanda). playsAirGuitar(mia):- listens2music(mia). playsAirGuitar(yolanda):- listens2music(yolanda). ?-

36. Knowledge Base 2
happy(yolanda). listens2music(mia). listens2music(yolanda):- happy(yolanda). playsAirGuitar(mia):- listens2music(mia). playsAirGuitar(yolanda):- listens2music(yolanda).
?- playsAirGuitar(mia).
yes ?-

37. Knowledge Base 2
happy(yolanda). listens2music(mia). listens2music(yolanda):- happy(yolanda). playsAirGuitar(mia):- listens2music(mia). playsAirGuitar(yolanda):- listens2music(yolanda).
?- playsAirGuitar(mia).
yes
?- playsAirGuitar(yolanda).

38. Clauses There are five clauses in this knowledge base:
happy(yolanda). listens2music(mia). listens2music(yolanda):- happy(yolanda). playsAirGuitar(mia):- listens2music(mia). playsAirGuitar(yolanda):- listens2music(yolanda).
There are five clauses in this knowledge base:
two facts, and three rules.
The end of a clause is marked with a full stop.

39. Predicates There are three predicates in this knowledge base:
happy(yolanda). listens2music(mia). listens2music(yolanda):- happy(yolanda). playsAirGuitar(mia):- listens2music(mia). playsAirGuitar(yolanda):- listens2music(yolanda).
There are three predicates in this knowledge base:
happy, listens2music, and playsAirGuitar

40. Knowledge Base 3
happy(vincent). listens2music(butch). playsAirGuitar(vincent):- listens2music(vincent), happy(vincent). playsAirGuitar(butch):- happy(butch). playsAirGuitar(butch):- listens2music(butch).

41. Expressing Conjunction
happy(vincent). listens2music(butch). playsAirGuitar(vincent):- listens2music(vincent), happy(vincent). playsAirGuitar(butch):- happy(butch). playsAirGuitar(butch):- listens2music(butch).
The comma ‘,’ expresses conjunction in Prolog

42. Knowledge Base 3
happy(vincent). listens2music(butch). playsAirGuitar(vincent):- listens2music(vincent), happy(vincent). playsAirGuitar(butch):- happy(butch). playsAirGuitar(butch):- listens2music(butch).
?- playsAirGuitar(vincent). no ?-

43. Knowledge Base 3
happy(vincent). listens2music(butch). playsAirGuitar(vincent):- listens2music(vincent), happy(vincent). playsAirGuitar(butch):- happy(butch). playsAirGuitar(butch):- listens2music(butch).
?- playsAirGuitar(butch).
yes ?-

44. Expressing Disjunction
happy(vincent). listens2music(butch). playsAirGuitar(vincent):- listens2music(vincent), happy(vincent). playsAirGuitar(butch):- happy(butch). playsAirGuitar(butch):- listens2music(butch).
happy(vincent).
listens2music(butch).
playsAirGuitar(vincent):- listens2music(vincent), happy(vincent).
playsAirGuitar(butch):- happy(butch); listens2music(butch).

45. Prolog and Logic Clearly Prolog has something to do with logic
Operators
Implication :-
Conjunction ,
Disjunction ;

46. Knowledge Base 4
woman(mia). woman(jody). woman(yolanda). loves(vincent, mia). loves(marsellus, mia). loves(pumpkin, honey_bunny). loves(honey_bunny, pumpkin).

47. Prolog Variables
woman(mia). woman(jody). woman(yolanda). loves(vincent, mia). loves(marsellus, mia). loves(pumpkin, honey_bunny). loves(honey_bunny, pumpkin).
?- woman(X).

48. Variable Instantiation
woman(mia). woman(jody). woman(yolanda). loves(vincent, mia). loves(marsellus, mia). loves(pumpkin, honey_bunny). loves(honey_bunny, pumpkin).
?- woman(X).
X=mia

49. Asking Alternatives
woman(mia). woman(jody). woman(yolanda). loves(vincent, mia). loves(marsellus, mia). loves(pumpkin, honey_bunny). loves(honey_bunny, pumpkin).
?- woman(X).
X=mia;

50. Asking Alternatives
woman(mia). woman(jody). woman(yolanda). loves(vincent, mia). loves(marsellus, mia). loves(pumpkin, honey_bunny). loves(honey_bunny, pumpkin).
?- woman(X).
X=mia;
X=jody

51. Asking Alternatives
woman(mia). woman(jody). woman(yolanda). loves(vincent, mia). loves(marsellus, mia). loves(pumpkin, honey_bunny). loves(honey_bunny, pumpkin).
?- woman(X).
X=mia;
X=jody;
X=yolanda

52. Asking Alternatives
woman(mia). woman(jody). woman(yolanda). loves(vincent, mia). loves(marsellus, mia). loves(pumpkin, honey_bunny). loves(honey_bunny, pumpkin).
?- woman(X).
X=mia;
X=jody;
X=yolanda; no

53. Knowledge Base 4
woman(mia). woman(jody). woman(yolanda). loves(vincent, mia). loves(marsellus, mia). loves(pumpkin, honey_bunny). loves(honey_bunny, pumpkin).
?- loves(marsellus,X), woman(X).

54. Knowledge Base 4
woman(mia). woman(jody). woman(yolanda). loves(vincent, mia). loves(marsellus, mia). loves(pumpkin, honey_bunny). loves(honey_bunny, pumpkin).
?- loves(marsellus,X), woman(X).
X=mia
yes ?-

55. Knowledge Base 4
woman(mia). woman(jody). woman(yolanda). loves(vincent, mia). loves(marsellus, mia). loves(pumpkin, honey_bunny). loves(honey_bunny, pumpkin).
?- loves(pumpkin,X), woman(X).

56. Knowledge Base 4
woman(mia). woman(jody). woman(yolanda). loves(vincent, mia). loves(marsellus, mia). loves(pumpkin, honey_bunny). loves(honey_bunny, pumpkin).
?- loves(pumpkin,X), woman(X). no ?-

57. Knowledge Base 5
loves(vincent,mia). loves(marsellus,mia). loves(pumpkin, honey_bunny). loves(honey_bunny, pumpkin). jealous(X,Y):- loves(X,Z), loves(Y,Z).

58. Knowledge Base 5
loves(vincent,mia). loves(marsellus,mia). loves(pumpkin, honey_bunny). loves(honey_bunny, pumpkin). jealous(X,Y):- loves(X,Z), loves(Y,Z).
?- jealous(marsellus,W).

59. Knowledge Base 5
loves(vincent,mia). loves(marsellus,mia). loves(pumpkin, honey_bunny). loves(honey_bunny, pumpkin). jealous(X,Y):- loves(X,Z), loves(Y,Z).
?- jealous(marsellus,W).
W=vincent ?-

60. Summary of this lecture
Simple examples of Prolog programs
Introduced three basic constructs in Prolog:
Facts
Rules
Queries
Discussed other concepts, such as
the role of logic
unification with the help of variables