FclingoBackend

Extends ClingoBackend with functionality to accept fclingo programs as input.

Examples

• tax

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

Tip

To know if the value of a variable is defined in the current model, check the appearance of predicate __def/1 as part of the model.

Public operations

Can be used as OPERATION in the actions of the ui-state.

Also includes all public operations from the ClingoBackend.

class FclingoBackend

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

__init__(*args, **kwargs)

Creates the Backend with the given arguments. It will setup all attributes by calling _init_ds_constructors and _restart.

Generally this method should NOT be overwritten by custom backends. Instead, custom backends should overwrite specialized methods.

Parameters

args (ArgumentParser) – The arguments from the argument parser that are given for the registered options.

Domain state constructors

Important

The domain state also includes domain constructors from the ClingoBackend

property FclingoBackend._ds_assign

Adds program with assignments

Includes predicate _clinguin_assign/2 with the assignments.