AZ-Prolog ユーザーズマニュアル
% Usage | ?-[-'azlisp.pl']. yes | ?-top_level. Welcom to Lisp World ver 1.1 lisp> (de append (x y)(cond ((eq x nil)y)(t(cons(car x)(append (cdr x) y))))) append lisp> (append '(1 2 3 4) '(5 6 7)) (1 2 3 4 5 6 7) lisp> (bye) t Exit From Lisp yes %%%%%%%%%%%%%%%%% %%% TOP LEVEL %%% %%%%%%%%%%%%%%%%% top_level :- lisp(user). lisp(See) :- see(See), prompt(P,P),write('Welcom to Lisp World ver 1.1'),nl,
qwik.jp - このウェブサイトは販売用です！ - qwik リソースおよび情報
This webpage was generated by the domain owner using Sedo Domain Parking. Disclaimer: Sedo maintains no relationship with third party advertisers. Reference to any specific service or trade mark is not controlled by Sedo nor does it constitute or imply its association, endorsement or recommendation.
bit誌の連載「マルチパラダイム言語 TAO」が公開されている＼(^O^)／: ホットコーナー
ブログ(iiyu.asablo.jpの検索) ホットコーナー内の検索 でもASAHIネット(asahi-net.or.jp)全体の検索です。 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。 例 中村(show) ki4s-nkmr ウェブ全体の検索 ASAHIネット(http://www.asahi-net.or.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。 --- 100万年ぶりに、 http://www.nue.org/nue/index.html NUE に行ったら、一番下の部分で、竹内郁雄さんが、かつてbit誌で連載していた TAOの連載が公開されていることを発見。 ちょー、懐かしいです。TAO/ELISの中身がよくわかって、Lisp好きは、当時
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://wps.aw.com/wps/media/objects/5771/5909832/PDF/Luger_0136070477_1.pdf
http://nicosia.is.s.u-tokyo.ac.jp/pub/essay/hagiya/kaisetsu/lisp_to_prolog
Logic Programming in TAO/SILENT
