Changelog

Current version: 0.8.0

Prudens's language supports the equality predicate ?= which takes two arguments and checks whether they are equal or not. The arguments may be either constants or variables or Javascript mathematical expressions - or any other expressions that make sense to be compared such as, but not restricted to, strings. Also, the ?= predicate allows for a variable to be unified with another variable/constant in case the former is not already assigned.
Prudens's language supports an inequality predicate, namely ?< as well which compares - inheriting any underlying Javascript semantics - two expressions - be it variables, constant or, in general, valid Javascript expressions.

Now the engine allows for propositional rules - i.e. rules whose literals may not include any argument. Note that a rule from this version on may contain any combination of propositional and first-order literals.
The special propositional literal true is assumed to be part of any context. This literal is assumed to be always true and may be used as a casual literal in any rule's body.
The background reasoning algorithm has been slightly altered in order to speed-up computations in the case of propositional literals.

Extended Prudens's language with a dummy variable symbol, _, which is inteded to be used in cases when the value of the variable of a predicate is of no importance.
Added an abduction tab on the left of Prudens JS home page. For the time being, there is no functionality available - to be added with new update.
Added a "Download output" option over the console which, when checked, downloads the output of the console as a .txt file.

Fixed Bug #001 - Ctrl+A keyboard shortcut now selects all text in the corresponding code editor.
Now apart from any inferences that may occur during deduction, the corresponding inference graph is presented in the console, below the inferences themselves. Actually, what is presented is a mapping from any non-contextual inferred literals alongside a list of rules that has led to them being inferred during the inference process.

v. 0.7.0

All Prudens's basic functionalities are supported. For more, see Documentation.
Code within both "Knowledge Base" and "Context" editors is checked for any syntax errors. However, the error messages returned in the console are still at an early stage and, hence, quite generic.
All the relevant output - i.e. inferences, errors or warnings - are printed in the console. The only thing that is not yet printed are the corresponding explanations - they will be part of possibly the next update.
The only way to interact with the console other than using the "Deduce!" buttpn is by pressing the "Clear" button - above the console's top right corner - which clear's anything that appears in it.