System

Title: System

Research Question: How can external functions be called in the DLV system without specifying their extension?

Methodology: The researchers introduced "parametric external predicates" in the DLV system. These predicates allow for external code calls that are not specified through a logic program. Instead, they are implicitly computed through external code.

Results: The researchers provided a syntax and semantics guide for implementing external predicates. They also discussed operational semantics and introduced the concept of "talkative oracles" to handle cases where some variables are not known.

Implications: This method allows for more flexibility in using external functions in the DLV system. It also enables the handling of new integers and floating-point values on-demand, making the system more efficient.

Link to Article: https://arxiv.org/abs/0404011v1 Authors: arXiv ID: 0404011v1