Prologとつき合う - Yet Another RanhaC81 3日目東ペ06a - COMFRK VOL. 3 ( http://comfrk.info/ )の宣伝のつもりで書き始めてます。 えーと記事のタイトルは「年末年始Prolog入門モドキ by ranha」ということになっていますが、嘘ですんで…。 ネムインダ 最近、SWI-Prologでは次のようなプログラム片がtrueを返すようになりました。 p :- p. ?- p. true ; true ; true ; ...ウウーン良いですね。いや…ダメだよコレは。 ということを、ぼくの担当分で紹介しています。といっても入門記事なので全く新規性のある話をしているわけではないのですが。 ここまでが記事の紹介です。 C81 3日目東ペ06aに来てくださいね！！ この後は記事の目論みといいますかなんというか…。 所謂Prologのプログラムのセマンティクス(意味)というのをどのようにして与え
1 述語論理とその意味論
