Debugging of wrong and missing answers for datalog programs with constraint handling rules

  1. Caballero, R.
  2. García-Ruiz, Y.
  3. Sáenz-Pérez, F.
Proceedings:
Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015

ISBN: 9781450335164

Year of publication: 2015

Pages: 55-66

Type: Conference paper

DOI: 10.1145/2790449.2790522 GOOGLE SCHOLAR