Conference item icon

Conference item

Heuristics entwined with handlers combined

Abstract:

A long-standing problem in logic programming is how to cleanly separate logic and control. While solutions exist, they fall short in one of two ways: some are too intrusive, because they require significant changes to Prolog\\textquoterights underlying implementation; others are lacking a clean semantic grounding. We resolve both of these issues in this paper. We derive a solution that is both lightweight and principled. We do so by starting from a functional specification of Prolog based on ...

Expand abstract

Actions


Authors


Tom Schrijvers More by this author
Nicolas Wu More by this author
Benoit Desouter More by this author
Bart Demoen More by this author
Publisher:
Association for Computing Machinery (ACM)
Publication date:
2014
URN:
uuid:b88880b2-3736-4e4b-ae4e-47b79bfef8ee
Local pid:
cs:9048
ISBN:
9781450329477

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP