Pylogic

Project - 11/30/2016
Academic
Python

Pylogic is a project that aims to provide tools for the logical paradigm. Currently it supports the use of cases/facts, which establishes relationships between the arguments it associates; knowledge bases, which are built from cases of a certain arity and allows consultation of related cases (responding in a true/false fashion or, in case of using the _ symbol, a list of answers that match the query). Examples:

base = KnowledgeBase(2)
@case(base)
def parent(father, son):
  pass
parent("bob", "tim")
base.tally(_, "tim") <- [("bob", "tim")]

It’s planned for the future the addition of predicates, that will provide the use of more conditions/filters. For more information you can visit the project!