Δημοσιεύτηκε: 23 Ιαν 2012, 01:38
από konnn
Prolog στο Ubuntu.

Εγκαθιστούμε την swi-prolog από το τερματικό με την εντολή

Κώδικας: Επιλογή όλων
sudo apt-get install swi-prolog


Μπαίνουμε με το τερματικό στο φάκελο όπου υπάρχει η εργασία μας , πχ "test.pl" η οποία περιέχει τα εξής
Κώδικας: Επιλογή όλων
male(kostas).
male(jim).
male(john).
male(nick).
female(mary).
female(niccky).
female(joy).               
married(john,mary).
married(kostas,niccky).
                           
wife(X) :- married(Y,X), female(X).
.

Για να εκκινήσουμε την prolog γράφουμε στο τερματικό
Κώδικας: Επιλογή όλων
prolog
. Τότε βλέπουμε
Κώδικας: Επιλογή όλων
Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 5.10.4)
Copyright (c) 1990-2011 University of Amsterdam, VU Amsterdam
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
and you are welcome to redistribute it under certain conditions.
Please visit http://www.swi-prolog.org for details.

For help, use ?- help(Topic). or ?- apropos(Word).

?-


Η εντολή
Κώδικας: Επιλογή όλων
consult('test.pl').
φορτώνει-μεταγλωττίζει το αρχείο μας.

Προσοχή στις τελείες μετά τις εντολές prolog.


Για να δούμε πχ τις συζύγους γράφουμε
Κώδικας: Επιλογή όλων
wife(X)

Με το Ελληνικό ερωτηματικό (;) το σύστημα βρίσκει και μια άλλη λύση (αν υπάρχει) ,δηλαδή είναι
Κώδικας: Επιλογή όλων
?- wife(X).
X = mary ;
X = niccky.


Αν γράψουμε
Κώδικας: Επιλογή όλων
wife(joy)
Βλέπουμε αν αυτή είναι παντρεμένη, δηλ.
Κώδικας: Επιλογή όλων
?- wife(joy).
false.

?-
. Με το πλήκτρο enter τερματίζει την διαδικασία αναζήτησης.

Για να βγούμε από το σύστημα της PROLOG δίνουμε

Κώδικας: Επιλογή όλων
halt.