このディレクトリの索引


項の中に変数を含まない(_項) :-
        var(_項),!,fail.
項の中に変数を含まない(_項) :-
        atom(_項),!.
項の中に変数を含まない(_項) :-
        forall((functor(_項,_関数名,_引数の数),
                    between(1,_引数の数,_n番目),
                    arg(_n番目,_項,_引数)),
                項の中に変数を含まない(_引数)).