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