Versatile implementation of the Prolog programming language
