5
私はLogicaファジー論理とホーン節などのいくつかの問題を見ていて、Prologという単純なアプリケーションの例を見ました。これらの問題は、私は、少なくとも私にとっては、他のものよりも少し複雑に考えるエルブラン定理の中でもあるので、プロローグのHerbrand
この質問の理由はある、と私はプロローグに関連した応用例を見つける難しさを持っていました。私は私のプロローグので、基本的ではないを使用して、いくつかの応用的例を提供したかった理由です
（つまりエルブランモデルを生成するためには、定義によれば、基本的なルールであり、常にときエルブランに関する検索この応用例を見つけます。）、排他的なHerbrandのために。
p(f(X)):- q(g(X)).
p(f(X)):- p(X).
p(a).
q(b).