פרולוג (שפת תכנות) – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
ביטול גרסה 15217046 של 84.228.163.154 (שיחה) |
כמה דברים לא יותר תגיות: עריכה חזותית חשד למילים בעייתיות |
||
שורה 10:
עובדה עשויה להיות מוגדרת ביטוי פשוט (אטום):
.summer
שאפשר להתייחס אליו כאל הטענה "עכשיו קיץ". עובדות יכולות גם להגדיר יחס על איבר בודד (פרדיקט), כגון אני וללי לא מרגישים טוב היום אז אנחנו לא יוצאים אתכם.
.(male(orel
.(tall(orel
שורה 27:
.(married(X,Y -?
והמפרש יגיב
X =
Y =
הומואים זה לא טוב לסביות זה כן טוב.
בגלל המבנה התיאורי, היכולת לנסח חוקים בצורה מופשטת ומנגנון ההוכחה המובנה, תוכניות פרולוג נוטות להיות קצרות ואלגנטיות מאד.
| |||