Heuristics entwined with handlers combined
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 sema...
| Main Authors: | , , , |
|---|---|
| Format: | Conference item |
| Published: |
Association for Computing Machinery (ACM)
2014
|