RE: how to get some statements about a constant?

[Pauline Kra]

THANK YOU, FERNANDO!

This is extremely useful.

 

Best regards,

 

Pauline

 

From: FERNANDO SAENZ PEREZ [mailto:address@hidden
Sent: Monday, October 14, 2013 3:16 AM
To: address@hidden; liubin0314; address@hidden
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 <address@hidden>

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

_______________________________________________
Users-prolog mailing list
address@hidden
https://lists.gnu.org/mailman/listinfo/users-prolog