[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re:Re: how to get some statements about a constant?

From: liubin0314
Subject: Re:Re: how to get some statements about a constant?
Date: Mon, 14 Oct 2013 00:52:40 -0700 (PDT)

thank you very much

------------------ 原始邮件 ------------------
发件人: FERNANDO SAENZ PEREZ [via Gnu - Prolog]<[hidden email]>;
发送时间: 2013-10-14 15:16:31
收件人: liubin0314 <[hidden email]>;
抄送: (无);
主题: Re: how to get some statements about a constant?
You can use the following, extracted from the user manual:





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


2013/10/13 <[hidden email]>
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 <[hidden email]>
Sender: users-prolog-bounces+pkra=[hidden email]
Date: Sun, 13 Oct 2013 20:09:13
To: liubin0314<[hidden email]>
Cc: <[hidden email]>
Subject: Re: how to get some statements about a constant?

Users-prolog mailing list
[hidden email]

Users-prolog mailing list
[hidden email]

If you reply to this email, your message will be added to the discussion below:
To unsubscribe from how to get some statements about a constant?, click here.

View this message in context: Re:Re: how to get some statements about a constant?
Sent from the Users mailing list archive at

reply via email to

[Prev in Thread] Current Thread [Next in Thread]