Dear...
I have done my code in prolog but it is still not the same as right answer so i just wondering that what wrong with my code shown as following...
This is knowledge base
cat(ann)
cat(on)
feline(bee)
feline(gara)

THis is my code in database(bluefish)
[code]
prove(cat(ann)).
prove(cat(on)).
prove(feline(bee)).
prove(feline(gara)).
prove(cat(X)) : prove(feline(X)).
prove(feline(X)) : prove(cat(X)).
test : write('A cat is a feline and a feline is a cat:'), nl;
cat(X);
feline(X);
write(X), nl, fail.
test.

THis is my result in prolog program(pl)
? prove(cat(X)).
X = ann ;
X = on ;
X = bee ;
X = gara ;
X = ann ;
X = on ;
X = bee ;
X = gara ;
X = ann ;
X = on ;
X = bee .
? prove(feline(X)).
X = bee ;
X = gara ;
X = ann ;
X = on ;
X = bee ;
X = gara ;
X = ann .
? test.
A cat is a feline and a feline is a cat:
true .

The result appears continuous term until i press (.) it will stop. However,i donot want it like this,
i would like the result like
? prove(cat(X)).
X = ann ;
X = on ;
X = bee ;
X = gara .
false
? prove(feline(X)).
X = bee ;
X = gara ;
X = ann ;
X = on ;
false
and
?test.
A cat is a feline and a feline is a cat:
ann
on
bee
gara
false.
i have fixed it but it was still output similar like ever so i got confuse
Thank you
6 Replies  1344 Views  Last Post: 09 June 2010  08:36 AM
Replies To: ...Programming in Prolog
#2
Re: ...Programming in Prolog
Posted 05 June 2010  08:09 AM
Hey beibei,
Are the any prolog operators you are not allowed to use such as ; and \+ (disjunction and negation as failure)?
Anyway the main problem is how to tackle the cyclic behavior.
To illustrate how it works I have placed clause numbers on your program:
Let me walk you through what happens if the ? prove(cat(X)). goal clause is given:
I hope you clearly see what the problem is with your approach.
I will leave you with the problem to work some more on it.
Just ask if you still can't solve it and I'll try to help you some more.
Are the any prolog operators you are not allowed to use such as ; and \+ (disjunction and negation as failure)?
Anyway the main problem is how to tackle the cyclic behavior.
To illustrate how it works I have placed clause numbers on your program:
1. prove(cat(ann)). 2. prove(cat(on)). 3. prove(feline(bee)). 4. prove(feline(gara)). 5. prove(cat(X)) : prove(feline(X)). 6. prove(feline(X)) : prove(cat(X)).
Let me walk you through what happens if the ? prove(cat(X)). goal clause is given:
 It tries to unify with clause 1 which can be done with X = ann.
 The body is empty so it immediately succeeds. If you choose to search for another solution: (The ; key indicates that)
 Clause 1 cannot be unified to anything else so it goes on to the next clause.
 It tries to unify with clause 2 which can be done with X = on.
 The body is empty so it immediately succeeds. If you choose to search for another solution: (The ; key indicates that)
 Clause 2 cannot be unified to anything else so it goes on to the next clause.
 It tries to unify prove(cat(X)) with prove(feline(bee)).
 There are no most general unifier so the it goes on to the next clause.
 Clause 4 is a repeat of clause 3 and moves on to clause 5 without succeeding. I think you have started to spot a pattern.
 It tries to unify with clause 5 which can be trivially done since prove(cat(X)) = prove(cat(X)).
 It tries to satisfy the body which states that prove(feline(X)) must hold.
 We now start from clause 1 with prove(feline(X)).
 Clause 1 does not succeed.
 Clause 2 does not succeed.
 Clause 3 succeeds once with X = bee.
 Clause 4 succeeds once with X = gara.
 Clause 5 does not succeed. And now we come to clause 6.
 It tries to unify with clause 6 which can be trivially done since prove(feline(X)) = prove(feline(X)).
 It tries to satisfy the body which states that prove(cat(X)) must hold.
 We now start from clause 1 with prove(cat(X)).
 Clause 1 succeeds with X = ann.
 ...
I hope you clearly see what the problem is with your approach.
I will leave you with the problem to work some more on it.
Just ask if you still can't solve it and I'll try to help you some more.
This post has been edited by Vestah: 05 June 2010  08:10 AM
#3 Guest_beibei*
Re: ...Programming in Prolog
Posted 06 June 2010  03:24 AM
First of all i am grateful with your help.
As your question Are the any prolog operators you are not allowed to use such as ; and \+ (disjunction and negation as failure)?
Ans. I can use every operators that bring the accomplish result.
I am still confuse about your answer because i cannot solve it ,anyway i will try.
Thank you
As your question Are the any prolog operators you are not allowed to use such as ; and \+ (disjunction and negation as failure)?
Ans. I can use every operators that bring the accomplish result.
I am still confuse about your answer because i cannot solve it ,anyway i will try.
Thank you
#4
Re: ...Programming in Prolog
Posted 06 June 2010  05:10 AM
It's good to know that there are no limits on the operators you can use.
I believe if I give you a solution you will say 'of course' and not learn very much.
Just keep on trying. Solving this problem is hard if you don't think about it the right way.
Lemme make a small change to your code:
What is the effect of this change? How does it work differently from your code?
I believe if I give you a solution you will say 'of course' and not learn very much.
Just keep on trying. Solving this problem is hard if you don't think about it the right way.
Lemme make a small change to your code:
prove(cat(X)) : cat(X). prove(feline(bee)). prove(feline(gara)). prove(cat(X)) : prove(feline(X)). prove(feline(X)) : prove(cat(X)).
What is the effect of this change? How does it work differently from your code?
This post has been edited by Vestah: 06 June 2010  05:11 AM
#5 Guest_beibei*
Re: ...Programming in Prolog
Posted 07 June 2010  05:45 PM
Dear Vestah
Thank your for being helpful so this following code is mine so far
It is still run nonstop but i am fixing it anyway.
Thank your for being helpful so this following code is mine so far
cat(sido). cat(lasi). feline(dore). feline(remi). prove(cat(X)) : cat(X). prove(feline(X)) : feline(X). prove(cat(X)) : prove(feline(X)). prove(feline(X)) : prove(cat(X)). test : write('A cat is a feline and a feline is a cat:'), prove(cat(X)), write(X), nl, fail.
It is still run nonstop but i am fixing it anyway.
#6 Guest_beibei*
Re: ...Programming in Prolog
Posted 07 June 2010  05:49 PM
PS. probably make you confuse ,i just change a bit of name of cat and feline.
sido
lasi
dore
remi
sido
lasi
dore
remi
#7
Re: ...Programming in Prolog
Posted 09 June 2010  08:36 AM
You still have the problem with the cycle, but let me start with talking a bit about the effect of your change. Let us consider two code examples:
Example 1:
Example 2:
Notice that the prove predicate in example 1 do not use the knowledge base for anything. Rather, it redefines the knowledge base. This is not a good design because whenever you modify or extend the knowledge base you have to modify the knowledge base as well. Another issue is illustrated in the code example. I wrote prove(cat(sidi)) while it should have been prove(cat(sido)). In other words you have to be careful not to introduce inconsistencies.
In example 2 the prove predicate uses the knowledge base. Want a new cat? Just introduce it to the knowledge base. The issues I mentioned with example 1 are not present.
Before I help you with the cyclic problem I would like you to introduce a two new predicates:
Example 1:
cat(sido). cat(lasi). feline(dore). feline(remi). prove(cat(sidi)). prove(cat(lasi)). prove(feline(dore)). prove(feline(remi)).
Example 2:
cat(sido). cat(lasi). feline(dore). feline(remi). prove(cat(X)) : cat(X). prove(feline(X)) : feline(X).
Notice that the prove predicate in example 1 do not use the knowledge base for anything. Rather, it redefines the knowledge base. This is not a good design because whenever you modify or extend the knowledge base you have to modify the knowledge base as well. Another issue is illustrated in the code example. I wrote prove(cat(sidi)) while it should have been prove(cat(sido)). In other words you have to be careful not to introduce inconsistencies.
In example 2 the prove predicate uses the knowledge base. Want a new cat? Just introduce it to the knowledge base. The issues I mentioned with example 1 are not present.
Before I help you with the cyclic problem I would like you to introduce a two new predicates:
 proveCat which proves that a cat is a cat. It does not consider a feline as being a cat.
 proveFeline which proves that a feline is a feline. It does not consider a cat as being a feline.
Page 1 of 1
