Logic Programming
Ontologies Reasoning Components Agents Simulations Logic Programming Jacques Robin.