לדלג לתוכן

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

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

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

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