פרק 1: אבני הבניין1.2 עובדות ושאילתות |
|
עובדות הן פיסות מידע שיש לנו על תחום דיון מסוים.
למשל, את העובדה שהארי ורון הם בנים והעובדה שהרמיוני היא ג'ינג'ית ניתן לייצג בפרולוג בעזרת הביטויים המורכבים הבאים:
|
boy(harry).
boy(ron).
redHead(hermione).
|
|
זוהי תכנית פרולוג הראשונה שאנו רואים. מה אפשר לעשות בעזרתה? אפשר לענות על שאלות.
נציג לפרולוג שאילתא:
|
?- boy(ron).
והוא יענה לנו (את התשובה הנכונה לאור העובדות בתכנית):
Yes
לעומת זאת, על השאילתא הבאה פרולוג עונה, בצדק, "לא":
?- boy(hermione).
No
|
פרולוג עונה לנו בעצם על השאלה "האם ניתן להסיק את המידע בשאילתא מתוך הידוע בתכנית?". לכן, אם בשאילתא יופיע מתאר לא מוכר או מתואר לא מוכר, פרולוג יענה "לא", פשוט משום שאין ביכולתו להסיק את נכונות המידע: |
?- orphan(harry).
No
?- boy(dreco).
No
|
|
מבוא |
|
|
נושאים בסיסיים |
|
נושאים מתקדמים |
|
|
| סיכום |
|
|
|
