SWI-prolog

Tartarus: A Multi-Agent Platform for Integrating Cyber-Physical Systems and Robots