assert/1で変数を使用できますか？

Question

私は現在、X（Y）が私の小さなDBで受け入れられている事実でないことを確認しています。 X（Y）はfalseを返すので、それをアサートしようとします。のは、私が ifNotAdd（哺乳類、象を聞いて、この事実は、DB

mammal(dolphin). 

であることを言わせて、例えば

ifNotAdd(X,Y):- 
    not(call(X,Y)), 
    !, 
    assert(X(Y)). 

（私は、Xは、ルールではなく事実であるとき、これは問題を提起実現します） ）。

私はそれを見たいですか？哺乳動物（象）。偽であり、哺乳動物（象）を主張する。

明らかに、「assert（X（Y））」は、行は間違っていますが、どうすればよいでしょうか？私はプロローグのドキュメンテーションと答えをフォーラムでトラウリングしていますが、これまでのところ運はありません。私は自分自身でこれを行う何かを書くことも試みています。

EDIT ユーザーが操作できる動的データベースを作成するには、DBを編集する必要があります。私は引数マシンを構築しています。ユーザーが "確かな事実を知っている"ことをシステムに伝え、システムがそのドメイン外の知識を処理できるようにする必要があります。 http://en.wikipedia.org/wiki/Reason_maintenance

乾杯の静脈で

、

Answer 1

あなたはuniv operator=../2がそれを主張する前に、用語を構築するために使用することができます（それを動作させるために、当該述語が動的に宣言する必要があることに注意してください）。あなたはそれがデシベルに事実を追加する必要がない場合に失敗しifNotAdd/2ないかどう

ifNotAdd(X,Y):- 
    not(call(X,Y)), 
    !, 
    Term =.. [X, Y], 
    assert(Term). 

ところで、あなたは、if構造でそれをラップし、プラス、必要があります

:- dynamic(mammal/1). 

mammal(dolphin). 

ifNotAdd(X, Y):- 
    ( \+ call(X, Y) 
    -> Term =.. [X, Y], 
     assert(Term) 
    ; true). 

しかし、私はあなたが何をしようとしていることはすぐそこにあるかわからない：は廃止され、(\+)/1が好ましいです。プロローグの初心者がデータベースを操作したいときは、特定のプロローグメカニズムが正しく理解されていないためです。それでは、初心者ではないかもしれないし、私の発言がダムになる可能性もあります。しかし、あなたが初心者であれば、ここで達成しようとしていることを正確にして、その操作が必要であることを確認することができます！