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

基礎

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文のように使うことができる．

SWI-Prolog 組込み関数

文字アトムの連結

連結

?- concat_atom(['A', 'B', 'C'], ' and ', X).
X = 'A and B and C'

分割

?- concat_atom(L, ',', 'a,b,c,d,e').
L = [a, b, c, d, e]

文字コード・文字アトムの変換

コードからアトム

?- char_code(C,65).
C = 'A'

 アトムからコード

?- char_code('a',N).
N = 97