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