Rev.1を表示中。最新版はこちら。

基礎

ANDとOR

ANDはコンマ，ORはセミコロン．簡単な例．

hoge(X,Y) :- X > Y, write('ok!'); write('ng!').

同じ内容のORを，以下のように書ける．

hoge(X,Y) :- X > Y, write('ok').
hoge(X,Y) :- write('ng').

入れ子にしたい場合，括弧を使えば良い．

hoge(X,Y,Z) :-
  X < Y, (
    Y < Z, write('xyz');
    X < Z, write('xzy');
    write('zxy')
  );
    X < Z, write('yxz');
    Y < Z, write('yzx');
    write('zyx').

if文のように使うことができる．

演算子

割り算

整数

X is Y // Z

実数

X is Y / Z