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