サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
買ってよかったもの
home.soka.ac.jp/~unemi
PROLOG - 論理型プログラミング Prolog は, 1970年代にフランスのマルセイユ大学で生まれた 論理型プログラミング言語である. 名前の由来は Programing in logic. 現在, 普及しているものの多くはイギリスのエジンバラ大学で開発された DEC-10 Prolog が元になっている. 述語論理の特殊形であるホーン論理に基づく定理証明過程をプログラムの 実行と見なす. Prolog を学ぶために必要な記号論理学 本節では Prolog の基礎となる 記号論理学 (symbolic logic) の概要を述べる. ここでは Prolog プログラミングを学ぶために必要な部分のみを説明する. 詳しくは「記号論理学」の講義で学んでいただきたい. 命題論理 記号論理の体系の中でもっとも単純なのが 命題論理 (propositional logic) である. 1つの
講議要項およびスケジュール 講義のムービー ... 学内からのみアクセス可能 C プログラミングの基礎 make でコンパイルを楽に Motif プログラミングの基礎 オンライン・マニュアルを活用しよう GUI評価の基礎 プログラム例 課題 参考 Motif Widget の class 階層 Motif のマニュアル頁の一部を HTML に変換したもの Open Motif のフルドキュメント(英文)は こちらのサイト にあります。05/12/10 追加 カラーサンプル フォント名の一覧 ... Revised. 画像ファイルの XPM 形式への変換 XV のマニュアル (PostScript 3.6 Mbytes) (PDF 724 Kbytes) XPM のマニュアル (PostScript 168 Kbytes) (PDF 58 Kbytes) Unix版 Netscape Com
目 次 LISP - 関数プログラミング 構文 LISP インタプリタ 算術計算 述語と条件 リスト処理 シンボル 文字列と配列 構造体 課題 - 多項式のかけ算 やり残したこと 索引 PROLOG - 論理プログラミング Prolog を学ぶために必要な記号論理学 プログラムはホーン節集合 インタプリタ 基本メカニズム リスト処理 否定とカットオペレータ オペレータ 算術計算 8-クィーン 課題 -- n-Queen 問題 やり残したこと 索引 Lisp 演習問題の解答例はこちらにあります。 Prolog 演習問題の解答例はこちらにあります。 Lisp 処理系のフリーソフトとしては、Linux などの UNIX 上で動作する GNU Common Lisp が標準的です。ワークステーション室で使用している Common List も この GNU Common Lisp です。 ただ、日
このページを最初にブックマークしてみませんか?
『home.soka.ac.jp』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く