“When we say logic programming, we still mean static knowledge. However, the agent paradigm is an environment typically more open and dynamic. Thus, we need ways to represent and integrate knowledge from different sources that may evolve in time.”
J. GuadarramaAIA’2003

This section consists of a list of relevant solvers and applications to my proposal, no particular order, with their respective links to their implementations. Some of them were adapted by myself in order to have a classical web-interface to run the original untouched engine online, with the obvious advantages.

Evolving Knowledge

Base-systems with web-interface

Other Useful Tools