Heuristic Partial Evaluator
Source code for declarative modeling in Prolog:
- Explanatory interpreter for traceability
- Partial evaluator for code generation
- Heuristic partial evaluator – fails when cost exceeds bound, recursive version converges to minimal cost
- Interpreter for cost functions that uses both partial premises and program clauses
