モジュール exec

> :- dynamic(cky_table).
 　
 述語"cky_table"の assert を許すよう宣言します． 

> ?- is_dynamic(cky_table).
 yes
 　
 述語"cky_table"が dynamicかどうか判定します． 

> :- multifile(newwill_query).
 　
 述語"newwill_query"の本体定義を別のモジュールに記述できることを宣言します． 

> ?- is_multifile(newwill_query).
 yes
 　
 述語"newwill_query"が multifileかどうか判定します． 

> ?- eval("strprintln(""a"").",X).
 |~lilfesfilecons                          ~|
 | hd:|~strprintln~|                        |
 |    |_arg1:"a"  _|                        |
 X: | tl:< >                                   |
 |                |~lilfesfileinfo       ~| |
 | lilfesfileinfo:| lilfesfilename:"eval" | |
 |_               |_lilfesfileline:1     _|_|

> ?- eval("strprintln(""a"").",X,Y).
 |~lilfesfilecons                          ~|
 | hd:|~strprintln~|                        |
 |    |_arg1:"a"  _|                        |
 X: | tl:< >                                   |
 |                |~lilfesfileinfo       ~| |
 | lilfesfileinfo:| lilfesfilename:"eval" | |
 |_               |_lilfesfileline:1     _|_|
 Y: < < > >

> :- call(strprintln("a")).
 a
 > ?- call(X = person).
 X: person

（最も基本的な形） 
 > x <- [bot]. y <- [bot]. z <- [bot].
 > t <- [pred]. u <- [pred].
 > t(x).
 > t(y).
 > t(z).
 > ?- findall(X, t(X), S).
 S: < x, y, z >
 X: bot
 （成功する型の組み合わせを得る） 
 > u(X,Y) :- t(X), t(Y).
 > ?- findall([A,B], u(A,B), S).
 A: bot
 B: bot
 S: < < x, x >, < x, y >, < x, z >, < y, x >, < y, y >, < y, z >, 
 < z, x >, < z, y >, < z, z > >
 （結果を素性構造に入れる） 
 > xt <- [bot] + [ONE\, TWO\].
 > ?- findall( (ONE:A, TWO:B), u(A,B), S).
 A: bot
 B: bot
 |~xt   ~|  |~xt   ~|  |~xt   ~|  |~xt   ~|  |~xt   ~|  |~xt   ~|  
 S: < | ONE:x |, | ONE:x |, | ONE:x |, | ONE:y |, | ONE:y |, | ONE:y |,
 |_TWO:x_|  |_TWO:y_|  |_TWO:z_|  |_TWO:x_|  |_TWO:y_|  |_TWO:z_|
 |~xt   ~|  |~xt   ~|  |~xt   ~|
 | ONE:z |, | ONE:z |, | ONE:z | >
 |_TWO:x_|  |_TWO:y_|  |_TWO:z_|

（最も基本的な形） 
 > x <- [bot]. y <- [bot]. z <- [bot].
 > t <- [pred]. u <- [pred].
 > t(x).
 > t(y).
 > t(z).
 > ?- findall(X, t(X), S).
 S: < x, y, z >
 X: bot
 （成功する型の組み合わせを得る） 
 > u(X,Y) :- t(X), t(Y).
 > ?- findall([A,B], u(A,B), S).
 A: bot
 B: bot
 S: < < x, x >, < x, y >, < x, z >, < y, x >, < y, y >, < y, z >, 
 < z, x >, < z, y >, < z, z > >
 （結果を素性構造に入れる） 
 > xt <- [bot] + [ONE\, TWO\].
 > ?- findall( (ONE:A, TWO:B), u(A,B), S).
 A: bot
 B: bot
 |~xt   ~|  |~xt   ~|  |~xt   ~|  |~xt   ~|  |~xt   ~|  |~xt   ~|  
 S: < | ONE:x |, | ONE:x |, | ONE:x |, | ONE:y |, | ONE:y |, | ONE:y |,
 |_TWO:x_|  |_TWO:y_|  |_TWO:z_|  |_TWO:x_|  |_TWO:y_|  |_TWO:z_|
 |~xt   ~|  |~xt   ~|  |~xt   ~|
 | ONE:z |, | ONE:z |, | ONE:z | >
 |_TWO:x_|  |_TWO:y_|  |_TWO:z_|

> p <- [pred]. a <- [bot]. b <- [bot].
 > p(a).
 > :- assert(p(b)).
 > ?- p(X).
 X: a
 Enter ';' for more choices, otherwise press ENTER --> ;
 X: b
 　
 例では、assertによって、述語 p の定義 p(a) の後に p(b) が追加されています。

> p <- [pred]. a <- [bot]. b <- [bot].
 > p(a).
 > :- asserta(p(b) :- !).
 > ?- p(X).
 X: b
 Enter ';' for more choices, otherwise press ENTER --> ;
 no
 　
 例では、assertaによって、述語 p の定義 p(a) の前に p(b) :- ! が追加されています。クエリーでの pの呼び出しは、asserta で追加されたものが優先されるため、 p(b) が成功して ! でバックトラックが抑制されるため、元の p(a) は呼び出されなくなります。 

 :- halt.

 :- halt(1).