Towards Assertion-based Debugging of Higher-Order (C)LP Programs

Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo

Higher-order constructs extend the expressiveness of first-order (Constraint) Logic Programming ((C)LP) both syntactically and semantically. At the same time assertions have been i…