Module: Tensai::Logic

Defined in:

lib/tensai/logic.rb,
lib/tensai/logic/entity.rb,
lib/tensai/logic/formula.rb,
lib/tensai/logic/version.rb,
lib/tensai/logic/formulas.rb,
lib/tensai/logic/variable.rb,
lib/tensai/logic/predicate.rb,
lib/tensai/logic/formulas/atom.rb

Overview

Logic and Reasoning

Defined Under Namespace

Modules: Formulas Classes: Entity, Formula, Predicate, Variable

Constant Summary

Name =

Types::Strict::Symbol

VERSION =

'0.1.2'