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

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

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