GitHub repository: DeMaCS-UNICAL/EmbASP
Description: A general framework for embedding Logic Programming in complex systems