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 -----------------------------------------------------------