thelogic v0.0.12

A Logic Engine written in TypeScript

Discover the release history by heading on over to the releases page.

WARNING: CURRENTLY IN DEVELOPMENT!

To Use:

1. Install (npm required):

npm install thelogic

2. Import:

import { default as L } from 'thelogic';

3. Logic away:

let a = new L.Statement();
let b = new L.Statement();
let impl = new L.BinaryOperator((v) => {return (!v[0]) || v[1];});
let exp = new L.Expression([new L.Atom(a), new L.Atom(b)], impl);
let env = new L.Environment([[a, true], [b, false]]);
exp.value(env); // true

Manual coming soon (maybe).

To Help Develop:

Currently a private repo. 1. Clone the repository (git required):

cd MY_PROJECTS
git clone https://github.com/trharley/thelogic.git

2. Install dependencies and development-dependencies (npm required):

cd thelogic/
npm install

• Tests are run:

npm test

• To transpile the TS into JS (not necessary for testing):

npm run-script buildjs

the output goes into build/.

• To generate documentation:

npm run-script builddocs