Simple Logic Interpreter

A Clojure library designed to serve as a logic interpreter.

Prerequisites

• JDK 1.8 or greater
• Leiningen

Tests

Run tests

$ lein test

Usage

Clone the project

$ git clone https://github.com/abrden/7510-TP1-Funcional.git
$ cd 7510-TP1-Funcional/

Write your database a file (there's some examples here) and run the interpreter with it's path. For example:

$ lein run test/files/number_database.txt

Make any query

add(2,2,1)
(SLI) false

Malformed queries return nil

Hi!
(SLI)

Press 'q' to exit.

q
(SLI) Exiting

Or you could run the SLI with the jar

$ lein uberjar
$ java -jar target/tdd-tp1-1.0.0-SNAPSHOT-standalone.jar test/files/number_database.txt

License

Distributed under the Eclipse Public License either version 1.0 or any later version.