Gandalf theorem prover

From Wacklepedia - The Free Encyclopedia

A first-order theorem prover applied to several domain-specific tasks such as Semantic web.

http://www.ttu.ee/it/gandalf/