ClingoDLBackend#

Extends ClingoBackend with functionality to accept clingo-dl programs as input.

Examples

jobshop

The domain-state is then enhanced by predicate _clinguin_assign/2.

Examples

In the jobshop example, the assignment is used for the label of the job.

elem(tctime(T,ST), label, tc(T,ST)):- _clinguin_assign((T,ST),Start).
attr(tctime(T,ST), label, @concat("","@",Start,"-",Start+ET)):- _clinguin_assign((T,ST),Start), executionTime(T,ST,ET).
attr(tctime(T,ST), class, "fw-light"):- _clinguin_assign((T,ST),Start).
attr(tctime(T,ST), fontSize, "8px"):- _clinguin_assign((T,ST),Start).

Warning

Notice that asisgnments 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 ClingoDLBackend[source]: Backend that allows programs using clingodl theory atoms as input. It also includes the assignment in the domain state.

Domain state constructors#

Important

The domain state also inclues domain constructors from the ClingoBackend

property ClingoDLBackend._ds_assign#

Adds program with assignments

Includes predicate _clinguin_assign/2 with the assignments.