Prolog beginner question

[tothaa]

I'm just trying prolog...

How can you expres that: if f(X) relation exists then X also most be true.


somehow like this:

apple.pl:
f(a).
f(b).
%?? sg rule???....

querry:
?- f(a).
yes
?- a.
yes

?- f(z).
no
?- z.
no

 

[Tweak155]

Prolog... the cause of all my nightmares in A.I class.

 

[Apathetic]

Prolog... the cause of all my nightmares in A.I class.

My solution to Prolog in college was a hell of a lot of liquor. OK, it didn't really solve my problem, but it sure made me care a whole lot less.

Dave

 

[tothaa]

OK; I see, Prolog is not the easy way...
Do you think, there is a better solution for representing and managing knowledge in general?
Any idea?
thx.

 

[Cerb]

What exactly do you mean?