Present and Future Challenges for ASP Systems

摘要

The advent of ASP has reinvigorated the field of logic programming. ASP has a simple syntax, which from the beginning appealed logic programmers-thanks also to its similarity to Prolog's syntax. ASP has a well-understood declarative semantics, which can adequately capture non-monotonicity. ASP benefits from good implementations, which guarantee an adequate level of efficiency and reflect the declarative nature of the paradigm-differently from the case of PROLOG, where there is a disconnect between declarative semantics and the implementation of its operational semantics.