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
LISP and PROLOG
目 次 LISP - 関数プログラミング 構文 LISP インタプリタ 算術計算 述語と条件 リスト処理 シンボル 文字列と配列 構造体 課題 - 多項式のかけ算 やり残したこと 索引 PROLOG - 論理プログラミング Prolog を学ぶために必要な記号論理学 プログラムはホーン節集合 インタプリタ 基本メカニズム リスト処理 否定とカットオペレータ オペレータ 算術計算 8-クィーン 課題 -- n-Queen 問題 やり残したこと 索引 Lisp 演習問題の解答例はこちらにあります。 Prolog 演習問題の解答例はこちらにあります。 Lisp 処理系のフリーソフトとしては、Linux などの UNIX 上で動作する GNU Common Lisp が標準的です。ワークステーション室で使用している Common List も この GNU Common Lisp です。 ただ、日
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://home.soka.ac.jp/~unemi/LispProlog/prologindex.html
