Prolog Based Languages - 1

Mercury

Although developed from Prolog, the two languages have many significant differences from each other. Mercury is a functional logic-programming language which is compiled rather than interpreted. The compilation allows for significant improvements in efficiency over Prolog, since the compiler can effectively improve the speed at which the code is executed. Another feature of Mercury that is notably absent from Prolog, is that of a type-system, allowing the writing of more reliable programs.

Visual Prolog

Visual Prolog is a powerful extension to standard Prolog, making it considerably more like Mercury than before. Like Mercury, Visual Prolog is compiled and features a strict type-system. More recent versions (6.0+) of Visual Prolog are object-oriented, and whilst the core of Visual Prolog still relies on Horn-clauses, the code layout appears very different from standard Prolog.