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 1 month 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 8 years ago)
• Default Branch: master
• Last Pushed: 2025-01-13T15:54:43.000Z (4 months ago)
• Last Synced: 2025-02-14T21:47:07.363Z (3 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: 110 KB
• Stars: 40
• Watchers: 6
• Forks: 1
• Open Issues: 10
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
[![Build Status](https://travis-ci.org/ryukinix/lisp-inference.svg?branch=master)](https://travis-ci.org/ryukinix/lisp-inference)

# 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