consult/1またはを使用して、Prolog ファイルを簡単に調べることができます[filename].。
Prolog コードをアトムとして生成するとします。述語でそのコードをファイルに書き込んで参照し、そのコードから述語を照会できます。
example :-
generate_stuff(X),
write_to_file(X,'filename.pl'),
consult('filename.pl'),
predicate_in_filename.
Xファイルに (コードを)書き込まずに同じことを行うにはどうすればよいでしょうか? assertここでは完全なコードをアトムに持っていますが、用語を入力として受け取る運がありません。