Pages that link to "Item:Q1328181"
From MaRDI portal
The following pages link to A declarative approach for first-order built-in's of Prolog (Q1328181):
Displaying 4 items.
- On proving confluence modulo equivalence for Constraint Handling Rules (Q511019) (← links)
- Termination of floating-point computations (Q850498) (← links)
- A declarative approach for first-order built-in's of Prolog (Q1328181) (← links)
- The BinProlog experience: architecture and implementation choices for continuation passing Prolog and first-class logic engines (Q2893093) (← links)