Prolog fact statement rule statement goal statement 7

  • Slides: 18
Download presentation

Prolog 語言的陳述 事實陳述(fact statement) ¡ 規則陳述(rule statement) ¡ 目的陳述(goal statement) ¡ 7

Prolog 語言的陳述 事實陳述(fact statement) ¡ 規則陳述(rule statement) ¡ 目的陳述(goal statement) ¡ 7

事實陳述 ¡ 實例 l l ¡ 個體的性質 female(helen). male(peter). female(jane). male(john). 個體與個體之間的關係 son(john, helen).

事實陳述 ¡ 實例 l l ¡ 個體的性質 female(helen). male(peter). female(jane). male(john). 個體與個體之間的關係 son(john, helen). son(john, peter). daughter(jane, helen). daughter(jane, peter). 注意 l Prolog的敘述之後，必須有句點作為結束 9

精選習題 ¡ 假設有一個PROLOG程式如下： class_sem(drinks, drink). class_sem(candies, food). class_sem(cakes, food). class_sem(tea, beverage). class_sem(coffee, beverage). sem_class([],

精選習題 ¡ 假設有一個PROLOG程式如下： class_sem(drinks, drink). class_sem(candies, food). class_sem(cakes, food). class_sem(tea, beverage). class_sem(coffee, beverage). sem_class([], []). sem_class([X|T], [Y|R]): -class_sem(X, Y), sem_class(T, R). 假設所輸入之問句為： 　? - sem_class([mary, eats, cakes], Answer). 則Answer之結果為？ 16

Fact rule query Edinburgh Prolog fact term ruleFact rule query Edinburgh Prolog fact term rule
Fact rule query Edinburgh Prolog fact term ruleFact rule query Edinburgh Prolog fact term rule
Fact rule query Edinburgh Prolog fact term ruleFact rule query Edinburgh Prolog fact term rule
Fact rule query Edinburgh Prolog fact term ruleFact rule query Edinburgh Prolog fact term rule
Pengantar Kecerdasan Buatan Pengantar Prolog 2 PROLOG PROLOGPengantar Kecerdasan Buatan Pengantar Prolog 2 PROLOG PROLOG
Pure Prolog vs Extralogical Prolog n Pure PrologPure Prolog vs Extralogical Prolog n Pure Prolog
PROLOG What is PROLOG Prolog is a DeclarativePROLOG What is PROLOG Prolog is a Declarative
Prolog Mis on prolog Prolog programming in logicProlog Mis on prolog Prolog programming in logic
Pure Prolog vs Extralogical Prolog n Pure PrologPure Prolog vs Extralogical Prolog n Pure Prolog
Introduction to Prolog Outline What is Prolog PrologIntroduction to Prolog Outline What is Prolog Prolog
PROLOG PROLOG KLANGWERK Erffnung PROLOG Die Fotos diesesPROLOG PROLOG KLANGWERK Erffnung PROLOG Die Fotos dieses
Writing the fact file Fact or fiction FactWriting the fact file Fact or fiction Fact
IIF Fact and Opinion FACT AND OPINION FactIIF Fact and Opinion FACT AND OPINION Fact
Nanotechnology Fact or Myth Fact FACT or MythNanotechnology Fact or Myth Fact FACT or Myth
Writing the fact file Fact or fiction FactWriting the fact file Fact or fiction Fact
Prolog programming Introduction to Prolog CS 370 CSProlog programming Introduction to Prolog CS 370 CS
How to Think about Prolog 1 Mikes PrologHow to Think about Prolog 1 Mikes Prolog