0259デフォルトの名無しさん
2019/03/03(日) 21:24:43.54ID:9zmHOox3repeat.
repeat :- repeat.
?- see('foo.pl'),
repeat,(
at_end_of_stream(user_input),seen,!,fail;
read(X)).
X = (:- dynamic(年齢/2)) ;
X = 年齢(山田,32) ;
X = 年齢(山下,21) ;
false.
?- shell('cat foo.pl').
:- dynamic(年齢/2).
年齢(山田,32).
年齢(山下,21).
true.
?-