ClingconBackend#

Extends ClingoBackend with functionality to accept clingcon programs as input.

The domain-state is then enhanced by predicate _clinguin_assign/2. See ClingoDLBackend for details.

Warning

Notice that assignments are not part of the brave or cautious consequences

Public operations#

Can be used as OPERATION in the actions of the ui-state Also includes all public operations from the ClingoBackend.

class ClingconBackend[source]

Backend that allows programs using clingcon theory atoms as input. It also includes the assignment in the domain state.

Domain state constructors#

Important

The domain state also includes domain constructors from the ClingoBackend

property ClingconBackend._ds_assign#

Adds program with assignments

Includes predicate _clinguin_assign/2 with the assignments.