THANK YOU, FERNANDO! This is extremely useful.
Best regards, Pauline From: FERNANDO SAENZ PEREZ [mailto:[email protected]] Sent: Monday, October 14, 2013 3:16 AM To: [email protected]; liubin0314; [email protected] Subject: Re: how to get some statements about a constant? You can use the following, extracted from the user manual: ========================== Templates current_predicate(?predicate_indicator) Description current_predicate(Pred) succeeds if there exists a predicate indicator of a defined procedure that unifies with Pred. All user defined procedures are found, whether static or dynamic. Internal system procedures whose name begins with '$' are not found. A user-defined procedure is found even when it has no clauses. A user-defined procedure is not found if it has been abolished. To conform to the ISO reference, built-in predicates are not found except if the strict_iso Prolog flag is switched off (section 8.22.1). This predicate is re-executable on backtracking. ========================== Then, using more meta-pretapredicates (univ and higher-order call): | ?- current_predicate(N/2), G=..[N,baba,wo], G. G = father(baba,wo) N = father ? ; (31 ms) no Regards, Fernando 2013/10/13 <[email protected] <mailto:[email protected]> > Yes, that works fine if you know the predicates in the database, but is it possible yo find the term that contains a constant without knowing the predicae?t Sent from my Verizon Wireless BlackBerry -----Original Message----- From: FERNANDO SAENZ PEREZ <[email protected] <mailto:[email protected]> > Sender: [email protected] <mailto:[email protected]> Date: Sun, 13 Oct 2013 20:09:13 To: liubin0314<[email protected] <mailto:[email protected]> > Cc: <[email protected] <mailto:[email protected]> > Subject: Re: how to get some statements about a constant? _______________________________________________ Users-prolog mailing list [email protected] <mailto:[email protected]> https://lists.gnu.org/mailman/listinfo/users-prolog
_______________________________________________ Users-prolog mailing list [email protected] https://lists.gnu.org/mailman/listinfo/users-prolog
