Advertisement
Math::Logic::Predicate
Math::Logic::Predicate is a Perl module to manage and query a predicate assertion database....
query Perl module manage manage predicate assertion query predicate assertion
Discrete Event Calculus Reasoner
Discrete Event Calculus Reasoner is an open source program for performing automated commonsense reasoning....
event calculus Commonsense Reasoning Discrete event calculus
Python lambda calculus module
Python lambda calculus module project is a simple but full-featured module for exploring lambda calculus....
Hilbert II
The Goal of Hilbert II is the creation of a system that enables a working mathematician to put theorems into it....
put theorems mathematician helper predicate calculus Hilbert theorems
Flipper
Flipper is a program that does randomised local search for satisfiability of 3 variable prenex sentences....
searching local predicate calculus scientific application prenex sentences