EmbASP

A framework for the integration (embedding) of Logic Programming in external systems for generic applications. It helps developers at designing and implementing complex reasoning tasks by means of solvers on different platforms.

The framework can be implemented in a object-oriented programming language of choice, easing and guiding the generation of suitable libraries for the use of specific solvers on selected platforms. We currently provide 3 implementations (in Java , in Python and in C# ) and ready-made libraries for the embedding of the ASP (Answer Set Programming) solvers DLV , DLV2 , clingo , DLVHEX and the PDDL (Planning Domain Definition Language) cloud solver Solver.Planning.Domains (SPD) on the Desktop platform and of DLV and SPD on the Mobile (Android™) one (available only for the Java version).

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

Documentation

Implementations

• Java implementation
• Python implementation
• C# implementation

Technical documentation

• Technical documentation

Examples

Desktop ASP exemples

• Shortest-path ASP Java
• Shortest-path ASP Python
• Shortest-path ASP C#

Desktop PDDL examples

• Blocks-world PDDL Java
• Blocks-world PDDL Python
• Blocks-world PDDL C#

Android example

• Sudoku Android

Contacts

For further information, contact embasp@mat.unical.it or visit our website.