https://github.com/ryukinix/lisp-inference

An Inference Engine based on Propositional Calculus written in Common Lisp
https://github.com/ryukinix/lisp-inference

common-lisp inference-engine inference-rules lisp-inference propositional-calculus propositional-logic truth-table

Last synced: about 2 months ago
JSON representation

An Inference Engine based on Propositional Calculus written in Common Lisp

• Host: GitHub
• URL: https://github.com/ryukinix/lisp-inference
• Owner: ryukinix
• License: bsd-3-clause
• Created: 2016-09-10T23:08:46.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2025-10-26T23:05:52.000Z (4 months ago)
• Last Synced: 2025-10-27T01:08:11.432Z (4 months ago)
• Topics: common-lisp, inference-engine, inference-rules, lisp-inference, propositional-calculus, propositional-logic, truth-table
• Language: Common Lisp
• Homepage: https://logic.manoel.dev
• Size: 183 KB
• Stars: 51
• Watchers: 3
• Forks: 2
• Open Issues: 2
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
[![CI](https://github.com/ryukinix/lisp-inference/actions/workflows/main.yml/badge.svg)](https://github.com/ryukinix/lisp-inference/actions/workflows/main.yml)

[![Deploy](https://github.com/ryukinix/lisp-inference/actions/workflows/deploy.yml/badge.svg)](https://github.com/ryukinix/lisp-inference/actions/workflows/deploy.yml)

# Lisp Inference

A non-full featured Lisp Inference Engine because I didn't implemented

the reductor yet. The algorithm commonly used it's the [Wang

Algorithm], maybe can you help me?

[Wang Algorithm]: https://www.cs.bham.ac.uk/research/projects/poplog/doc/popteach/wang

![screenshot](lisp-inference.png)

# Usage

The main usage for now it's using as a truth-table generator by using

its command line interface. You can download the last release and use

as showed in the last picture as following:

```

ros install ryukinix/lisp-inference

~/.roswell/bin/inference

```

You need `ros` installed: [Roswell](https://github.com/roswell/roswell)

# License

BSD

# Author

Manoel Vilela