Re: listing(+Pred, -Atom)

From: "Carlo Capelli" <carlo.capelli@xxxxxxxx>
Date: Thu, 12 Jul 2007 09:33:06 +0200

<Simon.Strobl@xxxxxxxxx> ha scritto nel messaggio
news:1184142100.393105.189000@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx

Hello,

is there a predicate (e.g. in swi) of this type: listing(+Pred, -
Atom), where Atom contains the listing for Pred?

If not, how could such a predicate be written? What other predicates
are there, besides "listing", for accessing the definition of a
predicate?

I think clause/2 gives you all the info needed.
This used to be the main metadata inspection builtin.
Bye Carlo

Simon

References:
- listing(+Pred, -Atom)
  - From: Simon . Strobl

Prev by Date: Re: Floyd warshall
Next by Date: about a prolog breadth-first exercises
Previous by thread: Re: listing(+Pred, -Atom)
Next by thread: Floyd warshall
Index(es):
- Date
- Thread

Relevant Pages

Re: listing(+Pred, -Atom)
... is there a predicate (e.g. in swi) of this type: ... Atom), where Atom contains the listing for Pred? ...
(comp.lang.prolog)
listing(+Pred, -Atom)
... is there a predicate (e.g. in swi) of this type: ... Atom), where Atom contains the listing for Pred? ... how could such a predicate be written? ...
(comp.lang.prolog)
debuggins witgh swi : is ther a way to record the proof tree of a given predicate ?
... I'm extensivly using swi in order to build some precompiler which will ... debugging tool in the tabular logic compiler I use in the last phase ... predicate it parses but I'm almost certain there's a way to add a hook ...
(comp.lang.prolog)
Meta Predicates and Variables in SWI Prolog
... I am having troube using the meta predicate apply ... following context. ... term_to_atom('A', Atom). ... lower case characters. ...
(comp.lang.prolog)
Re: Could not load foreign predicates in SWI Prolog 5.6.
... into Prolog interpreter. ... % SWI prolog's built in predicate ...
(comp.lang.prolog)