First-order ASP programs as CHR programs
Igor Stéphan · 2021
We present in this paper a way to use the paradigm of Answer Set Programming (ASP) into the Constraint Handling Rules (CHR) paradigm. We present a translation of the ASP language to the Constraint Handling Rules language.