how to get some statements about a constant?

liubin0314 <[email protected]>
Newsgroups gmane.comp.gnu.prolog.general
Message-ID <[email protected]>
such as:
KB is:
aunt(gugu,wo).
father(baba,wo).
does prolog can get the answer to X(baba,wo) which is father(baba,wo)?

and x(Y,wo)?



--
View this message in context: http://gnu-prolog.996310.n3.nabble.com/how-to-get-some-statements-about-a-constant-tp1110.html
Sent from the Users mailing list archive at Nabble.com.
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.