Hi!
Any plans for an updated version of the predicate_property/2 predicate for CIAO 1.5, 1.6? What I'm looking for is for a predicate definition compliant (as much as possible) with the definition in the latest draft for the ISO Prolog Standard proposal for modules:
... 7.8 Predicate properties
The properties of procedures can be found using the built- in predicate predicate_property(Callable, Property), where Callable is the meta-argument term Module:Goal (8.2.2). The predicate properties supported shall include:
static - The procedure is static.
dynamic - The procedure is dynamic.
public - The procedure is a public procedure.
private - The procedure is a private procedure.
built_in - The procedure is a built-in procedure.
multifile - The procedure is the subject of a multifile directive.
exported - The module Module exports the procedure.
metapredicate(MPMI) - The procedure is a metapredicat, and MPMI is its metapredicate mode indicator.
imported_from(From) - The predicate is imported into module module from the module From.
defined_in(DefiningModule) - The module with the name DefiningModule is the defining module of the procedure.
A processor may support one of more additional predicate properties as an implementation specific feature. ...
For my work, I need at least the properties dynamic, static and built_in. I know that in CIAO almost any predicate can be redefined, so the concept of "built-in predicate" is a bit different from other Prologs.
TIA,
Paulo
----------------------------------------------------------- Paulo Jorge Lopes de Moura Dep. of Mathematics and Informatics Office 4.32 Ext. 3251 University of Beira Interior Phone: +351 275319700 6201-001 Covilhã Fax: +351 275319732 Portugal
mailto:pmoura(a)noe.ubi.pt http://www.ci.uc.pt/logtalk/pmoura.html -----------------------------------------------------------