Package edu.tufts.hrilab.belief.provers
package edu.tufts.hrilab.belief.provers
-
ClassDescriptionInterface for the Talos/DCEC logical proof generator Contains the following functionality: - Solve query via online Talos/DCEC server - Knowledge database in DCEC syntax - Prolog to DCEC syntax converter Mimics the way the prolog is used in DIARC/Belief: - Add facts to the database through the assert asserta, assertz commands - Remove facts from the database through the retract, retractall commands - Prove conjecture Features from prolog that are missing: - Get bindings - Probably some more stuff...Available provers.