פרולוג/התקנה

ישנם מספר מפענחים ומהדרים. בחרו את המתאים לכם. מדריך זה נכתב תוך שימוש ב-SWI-Prolog. שימו לב כי לא כל המהדרים תקניים (ISO).

כדאי לדעת: ניתן לכתוב תוכניות בעברית ב-SWI-Prolog בלינוקס, אך התצוגה בשורת הפקודה הינה הפוכה. Amzi הוא היחיד (לעת עתה) שקיימת עבורו הרחבה ייעודית לתמיכה במילים שמורות בעברית.

SWI-Prolog

מפענח חופשי ופורטבילי (לינוקס, מק, חלונות).

• SWI-Prolog

ערך בוויקיפדיה: SWI-Prolog (אנגלית)

gProlog

מפענח חופשי ופורטבילי (יוניקס, לינוקס, חלונות). שייך לפרויקט GUN.

• GNU Prolog

ערך בוויקיפדיה: GNU Prolog (אנגלית)

Amzi!

מפענח מסחרי ופורטבילי (לינוקס, חלונות). ניתן להוריד גרסת התנסות בחינם.

• Amzi! Prolog
• פרולוג עברי (מכון ויצמן) (מערכת חלונות בלבד)

Visual Prolog

מפענח ומהדר מסחריים (חלונות בלבד). קיימת גרסה חינמית לשימוש אישי. זהו היורש של Turbo Prolog, מפענח הפרולוג הראשון.

• Visual Prolog

ערך בוויקיפדיה: Visual Prolog (אנגלית)

Strawberry Prolog

מפענח ומהדר מסחריים. ניתן להוריד "מהדורת לייט" בחינם (חלונות בלבד; גרסאות לינוקס, BSD ו-Solaris הינן מצומצמות מאוד).

• Strawberry Prolog

ערך בוויקיפדיה: Strawberry Prolog (אנגלית)

tuProlog

מנוע פרולוג חופשי הכתוב בג'אוה (פורטבילי - כל מערכת הפעלה שאפשר להתקין עליה ג'אוה).

• tuProlog

ערך בוויקיפדיה: TuProlog (אנגלית)

מפענח ג'אווה

ניתן להשתמש במפענח ג'אווה אינטרקטיבי.

• קישור

BProlog

תוכנה מסחרית, אך רישיון אקדמי הוא חינמי.

• BProlog

ערך בוויקיפדיה: BProlog (אנגלית)

SICStus Prolog

תוכנה מסחרית, בתשלום בלבד. ISO-תקנית.

• SICStus Prolog

קישורים חיצוניים

• התקנת פרולוג (עם סרטון)