Gandalf (theorem prover)
Gandalf is a first-order automated theorem prover applied to several domain-specific tasks such as Semantic web. It has also participated in The CADE ATP System Competition and had impressive results in that competition. It is programmed in the Scheme programming language which is then compiled to the C programming language using Hobbit from SCM.
External links
This article is issued from Wikipedia - version of the Saturday, December 17, 2011. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.