参考

インストール

sudo apt install -y swi-prolog

swipl --quiet

fly.swi

fly(X) :- airplane(X).
airplane(jet_plane).
airplane(helicopter).

$ swipl -f fly.swi
?- fly(jet_plane).
true.

?- fly(taro).
false.

;を入力すると次の結果を表示する

?- fly(Y).
Y = jet_plane ;
Y = helicopter.

未定義の場合

$ swipl
?- square(2, Y).
ERROR: toplevel: Undefined procedure: square/2 (DWIM could not correct goal)

a.swi

square(X, Y) :- Y is X * X.

呼び出せる

$ swipl -f a.swi
?- square(2, Y).
Y = 4.

(参考までに)rubyで書く場合は以下

def square(x)
    return x * x
end

y = square(2)
p y

数値の比較の注意

随分馴染みがない書き方ですね。。

?- [spring, summer, autumn, winter] = [A, B, C, D].
A = spring,
B = summer,
C = autumn,
D = winter.