Did you consider the following representation? relative(aunt,gugu,wo). relative(father,baba,wo).
This way, you can ask for you are looking for: | ?- relative(X,babo,wo). Best regards, Fernando 2013/10/12 liubin0314 <[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. > > _______________________________________________ > Users-prolog mailing list > [email protected] > https://lists.gnu.org/mailman/listinfo/users-prolog >
_______________________________________________ Users-prolog mailing list [email protected] https://lists.gnu.org/mailman/listinfo/users-prolog
