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

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

  • 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.