Hexlite
A solver the HEX language which combines Logic Programming with Python-based plugins.
This is a docker container containing the Hexlite solver, which is a solver for a fragment of the HEX language and for Python-based plugins which is based on Python interfaces of Clingo and does not contain any C++ code itself. The intention is to provide a lightweight system for an easy start with HEX. The vision is that Hexlite can use existing Python plugins and runs based on the Clingo python interface, without realizing the full power of HEX.
This plugin is packaged in the following asset deployed in the AI4EU Experiments Platform: [Reasoner Hexlite Bundle]
Hardware architecture: X64
Install & Run: This image contains a runnable hexlite solver including the example Python plugin. To run the example in the image, open a shell to the container and enter the following commands:
# cd /opt/hexlite
# hexlite --pluginpath /opt/hexlite/plugins --plugin testplugin -- tests/inputs/extatom2.hex
This should give the following output (it is a set, the order of items does not matter):
{prefix("test:"),more("a","b","c"),complete("test: a b c")}
Additional information: The system is described in the following publication
- Peter Schüller (2019) The Hexlite Solver. In: Logics in Artificial Intelligence. JELIA 2019. Lecture Notes in Computer Science, vol 11468. Springer, Cham https://doi.org/10.1007/978-3-030-19570-0_39