• We’re currently investigating an issue related to the forum theme and styling that is impacting page layout and visual formatting. The problem has been identified, and we are actively working on a resolution. There is no impact to user data or functionality, this is strictly a front-end display issue. We’ll post an update once the fix has been deployed. Thanks for your patience while we get this sorted.

Prolog beginner question

T

tothaa

Junior Member
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
 
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.
 
You must log in or register to reply here.

TRENDING THREADS

Back
Top