EmbASP is an open-source framework for embedding Logic Programming into external systems. It has been conceived to help developers design and implement, on different platforms, complex reasoning tasks by means of logic-based solvers.

Link to the website

Link to the GitHub repository