פרולוג (שפת תכנות) – הבדלי גרסאות

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

<source lang="prolog">

</source>

שמגדירים את המשתנה orel להיות "זכר" ו"גבוה". או על מספר איברים ואז תגדיר יחסים, כגון:

<source lang="prolog">

</source>

שמגדיר שיוני "אוהב את" רותם. יש לשים לב שאף אחת מהמילים tall, love, yoni, rotem, איננה מוגדרת בשפה עצמה, ומשמעות מתקבלת מהמשך השימוש במשתנים אלו.

סוג שני של הצהרות בשפה הוא כלל. למשל

<source lang="prolog">

</source>

שמגדירה שרותם אוהבת מישהו (X כאן הוא משתנה, כמו כל מילה שמתחילה באות גדולה) אם X אוהב את רותם.

נגדיר כעת כלל נוסף:

<source lang="prolog">

</source>

כלל זה אומר ש-X ו-Y "נשואים" אם "עכשיו קיץ" וגם X "אוהב את" Y וגם Y "אוהב את" X.

לאחר שמגדירים עובדות וכללים, ניתן לשאול שאלות על מאגר הנתונים שבנינו. מי נשואים?

<source lang="prolog">

</source>

והמפרש יגיב