Lambda the Ultimate

inactiveTopic Typed Prolog
started 8/13/2001; 12:43:50 PM - last post 8/13/2001; 12:43:50 PM
Ehud Lamm - Typed Prolog  blueArrow
8/13/2001; 12:43:50 PM (reads: 1305, responses: 0)
Typed Prolog
This comp.lang.prolog thread began with a question about Visual Prolog, but evolved into a more interesting discussion on Prolog semantics comparing Mercury and Prolog.

The Mercury project document comparing the two languages is well worth reading:

If the Prolog code is quite declarative and does not make use of Prolog's non-logical constructions, the job of converting it to Mercury will usually be quite straight forward. However, if the Prolog program makes extensive use of non-logical constructions, conversion may be very difficult, and a direct transliteration may be impossible. Mercury code typically has a very different style to most Prolog code.

Posted to Logic/Declerative by Ehud Lamm on 8/13/01; 12:44:51 PM