Content deleted Content added
m →External links: clean up + adding portal |
m →Overview: spell out acronym |
||
Line 34:
== Overview ==
Mercury is based on the logic programming language [[Prolog]]. It has the same syntax and the same basic concepts such as the [[SLD resolution|selective linear definite clause resolution]] (SLD) algorithm. It can be viewed as a pure subset of Prolog with strong types and modes. As such, it is often compared to its predecessor in features and run-time efficiency.
The language is designed using [[software engineering]] principles. Unlike the original implementations of Prolog, it has a separate [[compiler|compilation]] phase, rather than being directly interpreted. This allows a much wider range of errors to be detected before running a program. It features a strict [[Type system#Static type checking|static type]] and mode system<ref name=motivation/> and a module system.
| |||