規則の読み込みのメモ

prolog

ファイルを読み込ませる以外の方法。ファイルから読み込ませる場合はこうする。

| ?- ['filename.pl'].

ファイル全体ではなく一部の分のみ読み込ませる場合、[user].でいける。

| ?- [user].
{compiling user for byte code...}
even(0).
even(s(s(X))):-
        even(X).
  	   	(here the user presses Ctl-D to end the input)
{user compiled, 3 lines read - 350 bytes written, 1180 ms}
 
| ?-

読み込ませた規則を確認したい場合はlisting.

| ?- listing.

even(0).
even(s(s(A))) :-
        even(A).

参考

全部 GNU Prologからの抜粋ですorz