View on GitHub

dituoi_agp

Αρχές Γλωσσών Προγραμματισμού

Prolog

Παρουσιάσεις

Κώδικας παρουσιάσεων

Συγγράμματα

Tutorials

Βίντεο μαθήματα για την Prolog

Λογισμικά

Διάφορα

Έναρξη SWI-Prolog διερμηνευτή από τη γραμμή εντολών

> swipl
Welcome to SWI-Prolog (threaded, 64 bits, version 8.2.4)
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.
Please run ?- license. for legal details.

For online help and background, visit https://www.swi-prolog.org
For built-in help, use ?- help(Topic). or ?- apropos(Word).

1 ?-

Εμφάνιση αποτελεσμάτων

?- print('hello world').
'hello world'
true.

?- writeln('hello world').
'hello world'
true.

?-  X = 1,  Y = 2,  Z is  X + Y, W = arta, format('X=~w Y=~w Z=~w W=~s', [X,Y,Z,W]), fail.  % στη SWI-Prolog
X=1 Y=2 Z=3 W=arta
false.

Έξοδος από κατάσταση λάθους

Ctrl + C και μετά a για abort

Ενεργοποίηση και απενεργοποίηση ιχνηλάτησης

trace.
[trace] ?- 
...
nodebug.
?-

Έναρξη SWI-Prolog διερμηνευτή από τη γραμμή εντολών και φόρτωση αρχείου κώδικα prolog

Έστω ότι ο κώδικας prolog βρίσκεται σε ένα αρχείο demo.pl.

Α΄ τρόπος (με όρισμα στη γραμμή εντολών)

$ swipl -l demo.pl

Β’ τρόπος (με την εντολή consult)

$ swipl
1 ?- consult("demo.pl").
true. 
% ή
2 ?- consult(demo).
true.

Γ’ τρόπος (με τη συντόμευση [])

$ swipl
1 ?- ["demo.pl"].
true.
% ή
1 ?- [demo].
true.

Βιβλιοθήκες της SWI-Prolog

Εγκατάσταση της GNU-Prolog σε Ubuntu

$ sudo apt-get update
$ sudo apt-get upgrade
$ sudo apt-get gprolog
$ gprolog
GNU Prolog 1.4.5 (64 bits)
Compiled Feb  5 2017, 10:30:08 with gcc
By Daniel Diaz
Copyright (C) 1999-2016 Daniel Diaz
| ?- print('hello world').
hello world

yes
| ?- halt.