Prolog基礎 - Tips for us.
定数・変数 定数 数値10進数の数値は，普通に書ける．小数点を書かなければ，整数値とみなされる． ?- X is 10. X = 10 2進数，８進数，１６進数は，0b, 0o,0xでそれぞれ，書ける ?- A is 0b10, B is 0o10, C is 0x10. A = 2, B = 8, C = 162から36進数までは，基数を指定して書ける．Edinburgh Prolog Standardらしい． ?- X is 3'10. X = 3 小数点をつけると浮動小数点数になる． ?- X is 10.0. X = 10.0 指数表現でも書ける ?- X is 2e3, Y is 1.5e4. X = 2000.0, Y = 15000.0 アトム アトムは，名前を表す記号で，プログラム中の小文字で始まる全ての文字列．および，引用符 ' で囲まれたもの（引用アトム）． また，特殊
prolog2
プログラム中の \+ X=Y がないと, kyoudai(taro,taro) も成立してしまう. 実際には組み込み述語として単一化できないことを調べる "\=" が用意されており, \+ X=Y の代わりに X\=Y と書いても良い. 否定は次のように定義できる. \+ X :- X,!,fail. ... (1) \+ X. ... (2) ! カット・オペレータ (cut operator). OR 関係にある代替節を忘れる. 捨てられる代替節の範囲は, カット・オペレータが含まれる本体の中の, カット・オペレータより 左側の目標を証明する過程で残された代替節, および, カット・オペレータが含まれる節の頭部と同じ述語を頭部にもつ 代替節である. fail必ず失敗する組み込み述語. たとえば \+ p(a) を目標とすると, まず (1) の節の本体の証明を試みる. つまり p(a
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Defining predicates in SICStus Prolog / SWI-Prolog REPL
