פרולוג/נהלי עבודה
< פרולוג
תוכניות הפרולוג יש לשמור בפורמט טקסט פשוט, וניתן לכתוב אותן אפילו בעורך טקסטים פשוט כ"פנקס הרשימות" (תוכל לראות רשימת תוכנות מתאימה כאן).
- 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)).
הערות[עריכה]
- ^ לחילופין, ניתן להריץ מלכתחילה:
swipl -f program.pl.