Hello,

a Datalog-like rule query language 4QL has recently been implemented.
4QL has certain important features:
- negation is allowed in heads ad bodies of rules
- it enjoys a simple and intuitive semantics
- it provides simple, uniform constructs allowing one for many forms
of non-monotonic reasoning and inconsistency handling
- a modular architecture makes it suitable for distributed processing
- it has PTIME data complexity and captures PTIME.

4QL is especially suitable for:
- web services and agents
- advanced ontologies, employing commonsense reasoning techniques
- distributed knowledge bases
- fusing knowledge from distributed sources
- robotics systems.

An experimental (open source) command-line interpreter Inter4QL is now
available
for Windows, Mac OS X and Linux. For the interpreter and more
information
please see: 4ql.org

Best regards

On 2011-08-21, andsz <andrzej.szalas (AT) gmail (DOT) com> wrote:
can you post some examples?





--
⚂⚃ 100% natural