The following pages link to Modules for Prolog Revisited (Q5449591):
Displaying 5 items.
- Making ProB Compatible with SWI-Prolog (Q5038477) (← links)
- In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming (Q5108530) (← links)
- From Rules to Constraint Programs with the Rules2CP Modelling Language (Q5191407) (← links)
- Closures and Modules Within Linear Logic Concurrent Constraint Programming (Q5458864) (← links)
- Fifty Years of Prolog and Beyond (Q6063890) (← links)