EmbASP is a framework for the integration of Logic Programming in external systems for generic applications, conceived in order to help developers at designing and implementing complex reasoning tasks by means of logic-based solvers on different platforms.

We currently provide 3 implementations (in Narrative, in Theoretic and in Programmatic) and ready-made libraries for the embedding of the ASP (Answer Set Programming) solvers DLV, clingo, DLV2, DLVHEX and the PDDL (Planning Domain Definition Language) cloud solver Solver.Planning.Domains (SPD) on the Desktop platform and of DLV, DLV2 and SPD on the Mobile (Android™) one (available only for the Narrative version). We also provide support for the embedding of the I-DLV Datalog engine on the Desktop platform. The Narrative version requires the antlr4 library.

The framework has been designed to be easily extensible and adaptable to different solvers and platforms. Solvers can be invoked in different modes; for instance, SPD is invoked via a remote connection, while for the other, binaries are effectively embedded and natively executed.

Contacts

For further information, visit https://www.mat.unical.it/calimeri/projects/embasp