ClingoDLBackend#

Extends ClingoMultishotBackend 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

class ClingoDLBackend(args)[source]: Backend that allows programs using clingodl theory atoms as input. It also includes the assignment in the domain state.

Domain state constructors

The domain state also inclues domain constructors from the parent class.

ClingoDLBackend._ds_assign()#: Additional program to pass to the UI computation with assignments