The following pages link to (Q4421877):
Displaying 5 items.
- Compositional operational semantics for Prolog programs (Q1188120) (← links)
- A trace query language for rule-based models (Q1796506) (← links)
- The BinProlog experience: architecture and implementation choices for continuation passing Prolog and first-class logic engines (Q2893093) (← links)
- (Q4499270) (← links)
- Debugging for Model Expansion (Q5325763) (← links)