Namespace ClingoSharp.CoreServices.Callbacks

Delegates

GroundCallback

Callback function to implement external functions.

If an external function of form @name(parameters) occurs in a logic program, then this function is called with its location, name, parameters, and a callback to inject symbols as arguments.The callback can be called multiple times; all symbols passed are injected.

If a (non-recoverable) clingo API function fails in this callback, for example, the symbol callback, the callback must return false. In case of errors not related to clingo, this function can set error Unknown and return false to stop grounding with an error.

LoggerCallback

Callback to intercept warning messages.

SymbolCallback

Callback function to inject symbols