このディレクトリの索引


項の中に変数を含まない(_項) :-
'項が変数の時は偽、atomicの時は真である'(_項),!.
項の中に変数を含まない(_項) :-
'項が複合項の時は全ての引数について「項の中に変数を含まない」ことを検査する'(_項).


'項が変数の時は偽、atomicの時は真である'(_項) :-
'項が変数の時は偽、'(_項).
'項が変数の時は偽、atomicの時は真である'(_項) :-
'項がatomicの時は真である'(_項).


'項が変数の時は偽、'(_項) :-
var(_項),!,
fail.


'項がatomicの時は真である'(_項) :-
atomic(_項).


'項が複合項の時は全ての引数について「項の中に変数を含まない」ことを検査する'(_項) :-
forall(項が複合項の時は全ての引数について(_項,_引数),項の中に変数を含まない(_引数)).


項が複合項の時は全ての引数について(_項,_引数) :-
functor(_項,_関数名,_引数の数),
between(1,_引数の数,_n番目),
arg(_n番目,_項,_引数).