search

ryukinix / lisp-inference

An Inference Engine based on Propositional Calculus written in Common Lisp
https://logic.manoel.dev
BSD 3-Clause "New" or "Revised" License
40 stars 1 forks source link

Add lisp-inference/web system #15

Closed ryukinix closed 5 years ago

ryukinix commented 5 years ago

It contemples a webapp HTTP interface for Lisp Inference Truth Table system. It receives a infix logic proposition and returns a truth table.