Pages that link to "Item:Q2893093"
From MaRDI portal
The following pages link to The BinProlog experience: architecture and implementation choices for continuation passing Prolog and first-class logic engines (Q2893093):
Displaying 7 items.
- A geometric interpretation of LD-resolution (Q596040) (← links)
- Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules (Q833735) (← links)
- The language features and architecture of B-Prolog (Q2893099) (← links)
- Tabling as a library with delimited control (Q4592987) (← links)
- (Q5020559) (← links)
- Logic Based Program Synthesis and Transformation (Q5713938) (← links)
- Fifty Years of Prolog and Beyond (Q6063890) (← links)