FreeKBS2

Brief: A free replacement for tools like OpenCyc and Powerloom
Jump To: Parent Description
Code: GitHub

  • FreeKBS2 is an extension of the freekbs knowledge based system, which includes nested formula and inference using the vampire-kif theorem prover, but will eventually allow Prolog inference as well.