Search Results for "test"

The Datalog Educational System (DES) is a deductive database with Datalog, SQL, Relational Algebra, Tuple Relational Calculus and Domain Relational Calculus as query languages developed mainly for education. It can be used from most common Prolog interpreters over any supported OS and from portable executables (Windows, Linux and MacOS).

TinyCog is a cognitive architecture (perception, action, reasoning, planning, and language) with a focus on representing "self-models" (physical, capabilities, intentions, social, historical, "cognitive stream") in order to implement social reasoning and collaborative planning in a "hunter domain" test bed. We use Prolog, RDF Triples, Description Logic and a HTN-Planner as base technologies.

The uranium is a system for test automation. It uses a prolog language for high-level modelling of business process in software and system of drivers which allows use any channel for manage the program (web, db connection etc).

TuCSoN (Tuple Centres Spread over the Network) is a tuple-based middleware for the coordination of distributed systems – including multi-agent systems, mobile agents and pervasive systems.

...However, if you need a Java based Prolog engine for your project I recommend tuProlog and jTrolog as they are at the moment way more mature than jWAM. Most notable to-do's: - Built-in predicates. - Debugging tools. - Testing. - Documentation and commenting. - Android port. (I have the engine working with a test app but I still need to build a proper app). - Alpha release

PLUNITTEST is a unit test framework for Prolog. It has been tested with Sicstus prolog. It gives a framework for automated unit testing of prolog programs via continuous integration tools. It outputs an XML file like Junit XML.

AI Now is an open source endeavour to create a general purpose Artificial Intelligence. The plan is to implement a modular architecture to incorporate AI theories as they are developed. This will provide a growing platform to test new AI theories.