Free implementation of the programming language Prolog, commonly used for teaching and semantic web applications