פרולוג/נהלי עבודה

מתוך ויקיספר, אוסף הספרים והמדריכים החופשי
קפיצה לניווט קפיצה לחיפוש

תוכניות הפרולוג יש לשמור בפורמט טקסט פשוט, וניתן לכתוב אותן אפילו בעורך טקסטים פשוט כ"פנקס הרשימות" (תוכל לראות רשימת תוכנות מתאימה כאן).

  • SWI-Prolog עובד עם סיומת .pl (וגם מדריך זה).
  • Amzi עובד עם סיומת .pro.

SWI-Prolog[עריכה]

יצירת קובץ[עריכה]

  • יש לשמור קבצים עם סיומת pl.
  • כדאי לתעד את עבודתכם. פרולוג מתעלמת מכל טקסט שמופיע החל מסימן האחוז (%) ועד סוף השורה, וכמו כן, מכל טקסט שמתחיל ב-/* ומסתיים ב-*/ (יכול להתפרס על פני מספר שורות), נוסח שפת C.
  • אם ברצונכם לכתוב תוכנית בעברית, הקפידו לשמור את הקובץ בקידוד יוניקוד. מערכות הפעלה מודרניות עושות זאת באופן אוטומטי בדרך כלל.

טעינת קובץ[עריכה]

הכנסו לתוכנה על ידי הפקודה swipl (בגרסאות ישנות: swiprolog).

התוכנה תציג סמן ותחכה לקלט מהמשתמש:

?- _

נניח כי ברצונכם לטעון קובץ בשם program.pl. לשם כך הריצו[1]:

?- consult(program).

אם הקובץ נטען בהצלחה, יתקבל פלט מהצורה:

% program compiled 0.00 sec, 1,960 bytes

Yes

הצהרה בזמן ריצה[עריכה]

נניח כי טענתם קובץ אך ברצונכם להוסיף מידע שיהיה זמין רק בזמן הריצה.

ניתן להצהיר על עובדות בזמן ריצה באמצעות הפקודה assert:

assert(relation(foo,bar)).

הערות[עריכה]

  1. ^ לחילופין, ניתן להריץ מלכתחילה: swipl -f program.pl.