Prolog call modes



Hi all!

I am wondering if there is an accepted (or de facto) standard for prolog
call modes.
I found that +, - and ? modes (input, output and input/output) are cited in
Prolog literature.
Some implementations, such as Ciao Prolog, use a @ mode to designate a
pure-input argument.

I tried to g**gling for "prolog call modes" obtaining just a few results.
Could anybody help me?

Why call modes are not part of Prolog syntax?
I try to implement them using the hook user:term_expansion/2 and it works
well.
Is there something that I simply dont know?

Thank you very much.

Cheers - /\/\


.



Relevant Pages

  • Re: Prolog "standard" operators?
    ... Or do you want something that can read Prolog ... scratch i'd simply use the ISO table. ... >> a compatibility library. ... Zillions of predicates comming from millions of Prolog implementations. ...
    (comp.lang.prolog)
  • Re: Small, Fast Prolog in Lisp?
    ... >>of these implementations in Lisp are available. ... > Most of the stand-alone prolog environments seem to be faster than the ... Nowadays full Prolog implementations mostly seem to compile to some ...
    (comp.lang.lisp)
  • PROLOG for OS X
    ... science. ... The "programming" section is far from complete. ... specific implementations of PROLOG running with OS X (cocoa, carbon, ... I am also personally interested in Prolog. ...
    (comp.lang.prolog)
  • Natural Language Processing Techniques in Prolog
    ... includes implementations of them in prolog. ... This is a problem domain ideally suited to experimenting in prolog. ... The link contains good examples of prolog in use (implementing parsers) ... (for minimally experienced prologgers like myself - and others might find them useful too). ...
    (comp.lang.prolog)
  • Re: PSP
    ... > the Prolog interpreter starts up, then it loads up the Prolog program, ... Ciao Prolog includes libraries that implement Active Modules. ...
    (comp.lang.prolog)