Data

Tools

Indexes

Applications

Experiments

Repos

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

Topic: "lisp-inference"

ryukinix/lisp-inference

An Inference Engine based on Propositional Calculus written in Common Lisp

Language: Common Lisp - Size: 110 KB - Last synced at: 2 months ago - Pushed at: 5 months ago - Stars: 40 - Forks: 1

R6/lisp-inference

An Inference Engine based on Propositional Calculus written in Common Lisp

Language: Common Lisp - Size: 159 KB - Last synced at: 12 months ago - Stars: 0 - Forks: 0

Related Topics
common-lisp 2 inference-engine 2 inference-rules 2 propositional-calculus 2 propositional-logic 2 truth-table 2