lisp-inference

KO | EN

gitlite — search

#javascript #python #hacktoberfest #react #ai #typescript #llm #go #golang #android #machine-learning #rust #deep-learning #linux

(★ 54)

An Inference Engine based on Propositional Calculus written in Common Lisp

lisp-inference Latest Version Download

Download Latest Version (.zip)

// 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

lisp-inference Latest Version Download

Today's picks

Was this content helpful?

Recent Feedback

lisp-inference

lisp-inference Latest Version Download

Today's picks

Was this content helpful?

Recent Feedback

Download README