ボンジュール・マドモアゼル

本サイトの情報は自己責任にてご利用下さい。

[Prolog] Prolog メモ

 
Prolog: 空リスト [] は、atom である。
atom([]).
は 真.

\+ は、Prologの組み込み述語で、対象の述語を否定する。
例)\+father(terach,isaac).

lose(List1, List2) :-

next(List1, List2, X),
not(tick(List1, [X|List2], _)),
!.

http://d.hatena.ne.jp/koichik/20050816


Prolog君が、 List1 について
次にさせる手がないということ

これ凄いぞ。2ch PrologでまったりPart2 より
?- see('foo.pro'),repeat,read(X),(X=end_of_file;write_formatted('%t.n',[X]),fail),seen.
ファイルを最後まで読んでそのまま表示する簡単なもの。


24 :デフォルトの名無しさん[sage]:2010/11/10(水) 20:25:49
一応参考まで
http://www.google.com/codesearch
lang:prolog ^(is_?)?list([

25 :デフォルトの名無しさん[sage]:2010/11/10(水) 21:13:19
完全な定義は、
list(V) :- var(V),!,fail.
list([]).
list([H|T]) :- list(T).
<<No permission to modify static_procedure | ホーム | 循環的な参照?>>

コメント

コメントの投稿

管理者にだけ表示を許可する

画像の文字を半角数字で下記ボックスに記入ください。
文字が読みにくい場合はブラウザの更新をすると新しい文字列が表示されます。

モンクレール ダウン

Prolog メモ
  1. 2013/12/13(金) 17:28:40 |
  2. モンクレール ダウン