FRDCSA | internal codebases | freekbs3

[Project image]

Jump to: Project Description | Parent Description | Capabilities

Project Description


  • One cannot use HiLog with Vampire natively, so when asserting knowledge into freekbs2 or freekbs3 as it may be, one will have to mark domains with highlog as not using vampire to check consistency.
  • Start recording all the issues with freekbs2 in order to rewrite freekbs3 to be better.
  • Have freekbs3 support hilog
  • Use Moose Type Constraints in order to have interchangeable freekbs3 statements.

This page is part of the FWeb package.
Last updated Sat Oct 26 16:53:22 EDT 2019 .