Prolog-2 An implementation of Edinburgh Prolog by Nick Henfrey, {ESL}. ["An Advanced Logic Programming Language", Anthony Dodd].