入門

はじめのいっぽ

swi-prologを使う。 例えば、

1human(kanai).                                                  
2human(alice).                                                  
3human(bob).                                                    
4bot(recuraki). 

 1swipl -V
 2
 3?- [test].
 4% test compiled 0.00 sec, 5 clauses
 5true.
 6
 7?- human(kanai).
 8true.
 9
10?- human(recuraki).
11false.
12
13?- human(Who).
14Who = kanai ;
15Who = alice ;
16Who = bob.
17
18?- 
19% halt