This package has been deprecated

Author message:

name change to tslogic

thelogic

A Logic Engine written in TypeScript

History

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

1. Import:

import { default as L } from 'thelogic';

1. 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

1. 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