functional style in declarative logic programming

[Aule]

Giancarlo

Version 7.2 of what was once Borland Turbo Prolog has now added
"anonymous predicates"

(Commercial PDC Prolog is most like the opensource Mercury project
http://www.mercury.cs.mu.oz.au/index.html )

PDC Link:

http://wiki.visual-prolog.com/index.php?title=Language_Reference/Terms/Anonymous_Predicates

Robert

[Giancarlo Niccolai]

> http://wiki.visual-prolog.com/index.php?title=Language_Reference/Term...
>
> Robert

Excellent pointer. This is a very interesting multi-paradigm approach,
mixing classes and logic programming. I got something to think about
today...

[Aule]

http://ww.logtalk.org is a useful spot for an approach to classes,
prototypes and messaging for most any prolog.

You might enjoy stopping by here:
http://www.ps.uni-sb.de/alice/manual/constraints.html

which must be another Gert Smolka project (as was Oz, if memory
serves ...)

For some comments on XSB and the tabling approach:

http://www.csl.sri.com/users/millen/capsl/constraints.html

R