Δημοσιεύτηκε: 23 Ιαν 2012, 01:38
Prolog στο Ubuntu.
Εγκαθιστούμε την swi-prolog από το τερματικό με την εντολή
Μπαίνουμε με το τερματικό στο φάκελο όπου υπάρχει η εργασία μας , πχ "test.pl" η οποία περιέχει τα εξής
Για να εκκινήσουμε την prolog γράφουμε στο τερματικό
Η εντολή
Για να δούμε πχ τις συζύγους γράφουμε
Με το Ελληνικό ερωτηματικό (;) το σύστημα βρίσκει και μια άλλη λύση (αν υπάρχει) ,δηλαδή είναι
Αν γράψουμε
Για να βγούμε από το σύστημα της PROLOG δίνουμε
Εγκαθιστούμε την 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.
?-
Για να βγούμε από το σύστημα της PROLOG δίνουμε
- Κώδικας: Επιλογή όλων
halt.