Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

tvoygit.ru topics: truth-table

R6/lisp-inference

An Inference Engine based on Propositional Calculus written in Common Lisp

Language: Common Lisp - Size: 159 KB - Last synced at: about 1 year ago - Stars: 0 - Forks: 0

Related Keywords
common-lisp 1 inference-engine 1 inference-rules 1 lisp-inference 1 propositional-calculus 1 propositional-logic 1 truth-table 1