lisp-inference

KO | EN

gitlite — search

#dotfiles #java #javascript #vim #ruby #nodejs #mantisbt-plugin #php #vim-configuration #shell #unmaintained #c

★ 54 Open GitHub ↗

An Inference Engine based on Propositional Calculus written in Common Lisp

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

[![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](https://raw.githubusercontent.com/ryukinix/lisp-inference/master/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

lisp-inference

Explore Similar Repositories

Was this content helpful?

Recent Feedback

Download README