Erweiterungen

• eingebaute Operationen (Maschinenzahlen)
• effiziente Kompilation (für Warren Abstract Machine)
• Modi: Deklaration von In/Out und Determinismus (Mercury)
• Funktionen/Prädikate höherer Ordnung:

  Lambda-Prolog (Dale Miller) http://www.lix.polytechnique.fr/~dale/lProlog/

• statisches Typsystem: Mercury (Fergus Henderson) http://www.mercury.csse.unimelb.edu.au/