タグ

prologと記号論理学に関するkiyo_hikoのブックマーク (1)

  • LISP and PROLOG

    目 次 LISP - 関数プログラミング 構文 LISP インタプリタ 算術計算 述語と条件 リスト処理 シンボル 文字列と配列 構造体 課題 - 多項式のかけ算 やり残したこと 索引 PROLOG - 論理プログラミング Prolog を学ぶために必要な記号論理学 プログラムはホーン節集合 インタプリタ 基メカニズム リスト処理 否定とカットオペレータ オペレータ 算術計算 8-クィーン 課題 -- n-Queen 問題 やり残したこと 索引 Lisp 演習問題の解答例はこちらにあります。 Prolog 演習問題の解答例はこちらにあります。 Lisp 処理系のフリーソフトとしては、Linux などの UNIX 上で動作する GNU Common Lisp が標準的です。ワークステーション室で使用している Common List も この GNU Common Lisp です。 ただ、日

  • 1