Input

domain-files

The domain-specific ASP encodings that will generate solutions to the problem (including the instance). These files will be used by the domain-control. They are provided when starting the server via the command line in argument --domain-files.

Warning

Show statements

The show statements in your domain-files will impact the atoms present in the domain-state. If you are using show statements, and you want to use _any(a) for an atom a, that is not part of your show statements, then you have to add #project a. to your domain-files to get the desired output. Furthermore any show statements that output a tuple (function without name) will lead to syntactic issues so thet should be removed.

ui-files

The encoding that will generate the ui-state using the domain-state as input. They are provided when starting the server via the command line in argument --ui-files.

If no UI files are provided, the default UI will be used, which can be used for debugging purposes.

Tip

There are helper functions available for the UI files to handle strings. This functions can be used with the clingo syntax for external function: @fun(args). See ClinguinContext for more information.