prolog-assert

1熱

1答えて

Prologではなぜこのクエリがこの特定の結果を返すのですか

?- assert(p(a)),assert(p(b)),p(X). X = a yes このクエリの効果は何ですか？なぜこの特定の結果が返されますか？

prolog prolog-toplevel prolog-assert 2011-07-13

---

7熱

1答えて

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

私は現在、X（Y）が私の小さなDBで受け入れられている事実でないことを確認しています。 X（Y）はfalseを返すので、それをアサートしようとします。のは、私が ifNotAdd（哺乳類、象を聞いて、この事実は、DB mammal(dolphin). であることを言わせて、例えば ifNotAdd(X,Y):- not(call(X,Y)), !, assert(

prolog prolog-assert 2011-12-25

---

6熱

1答えて

私はプロローグで動的な事実を作成したい

私は次の簡単なコードを書いています。私は '男性'と書くと、このコードは「男性ですか？ 「いいえ」と入力すると、「彼女は女性です」という画面に書き込まれます。 male :- (print('is it male ? '),read(yes)) -> true; asserta(not(male)),female. female:- not(male),print('she is female'

prolog prolog-assert 2011-12-29

---

1熱

1答えて

プロローグ：アサートを含むルールは事実

にのみ、最初の結果を追加し、私はいくつかのものを事前計算し、私のプログラムの冒頭で事実として結果を保存しようとしている：（簡略化されたコード） :- dynamic cost/2. %recipe(Id,Cost) recipe(1,20). recipe(2,40). assert_all :- recipe(Id,Cost), assert(cost(Id,Cost)). しかし

prolog sicstus-prolog prolog-assert 2016-05-17

---

0熱

1答えて

このルールのすべての結果をプログラムのファクトとして入力する方法、またはこれらの結果をファクトとしてどのように処理できますか？

%Examples %course_meetings(maths4,tutorial,t07,khaled_mohamed,'tutorial for t07') %days([sat,sun...]) %tutorialrooms([c6301,b4108,c2201,c2301,c2202,c2203]) %slots([1,2,3,4,5]) day_tut(Day,Slot

prolog prolog-assert 2012-04-17

---

6熱

2答えて

SWI-Prologの - 次のように私はオペレータを定義

をアサートに失敗：私はのような何かをしようとすると :- op(500, xfx, =>). ： assert(a => b). プロローグは（「static_procedureを変更するには、no許可を言わないエラーが発生します=>）/ 2 'である。 セキュリティとして

prolog prolog-assert 2012-04-23

---

5熱

3答えて

abolish/1とretractall/1の違いは何ですか？

マニュアルを読むことで、私は2つの違いを見つけることができないようです。 マニュアルは言う： 動的述語のすべての条項を消去するためretractall/1を使用することをお勧めします。 私は自分のプログラムでretractall/1を使いました。しかし、私は違いが何であるのだろうか。

prolog prolog-assert 2015-12-27

---

1熱

1答えて

Prolog - 新しいデータベースにアサートする

:-dynamic listofQuestions/2. myrule:- write('P = '), write(Percent), write('-'),write(X), (listofQuestions(Percent,X) -> true ; assert(listofQuestions(Percent,X))), 私の質問に答えるためにコードスニペットが必要

prolog prolog-assert 2012-05-03

---