EmbASP is a framework for the integration of Logic Programming in external systems
Project description
EmbASP - Python Version
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 Java, in Python and in C# ) and ready-made libraries for the embedding of the ASP (Answer Set Programming) solvers DLV, clingo and DLV2 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 Java version). The Java 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
Project details
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
Hashes for embasp_python-8.1.3-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 491448f921e75f8e62fc8f95293ff4687af9cc997bde2577a34745ecab46a215 |
|
MD5 | 0058c15253547fe9fe9fb133f9cd3b77 |
|
BLAKE2b-256 | 2a416c00b6e17259efeb85b23449824aaedc256e7cb11f40c01fff3122ede77a |