Skip to content

0.1.0
Compare
Choose a tag to compare
@Damtev Damtev released this 21 Feb 15:17
· 16 commits to main since this release
v0.1.0
11b7c60

Supported operations (part of klogic-core):

  • Unification
  • Disequality

Supported terms:

  • Var - a variable bound to the specified logic type (part of klogic-core)
  • Symbol - a simple logic wrapper for string constant (custom logic term, part of klogic-utils)
  • LogicList - a recursive list storing terms of the specified type or variables of the same type (terms and variables are allowed to be stored at the same time) - a custom logic term, part of klogic-utils
  • LogicBool - a logic term for bool type (custom logic term, part of klogic-utils)
  • PeanoLogicNumber - the logic implementation of Peano numbers (custom logic term, part of klogic-utils)
  • OlegLogicNumber - logic numbers represented by a list of binary digits, introduced by Oleg Kiselyov (custom logic term, part of klogic-utils)
Assets 6
Loading