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


Publisher:
Association for Computing Machinery (ACM)
Publication date:
2014-01-01
URN:
uuid:b88880b2-3736-4e4b-ae4e-47b79bfef8ee
Local pid:
cs:9048
ISBN:
9781450329477

Terms of use


Metrics


Views and Downloads






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

TO TOP