The following pages link to (Q4294268):
Displaying 8 items.
- Compiling a default reasoning system into Prolog (Q750134) (← links)
- Semantics-directed generation of a Prolog compiler (Q1314540) (← links)
- How to invent a Prolog machine (Q1819928) (← links)
- On the implementation of GNU Prolog (Q2893102) (← links)
- (Q3713590) (← links)
- A comparison of three PROLOG extensions (Q3992235) (← links)
- (Q4281590) (← links)
- 1983–1993: The wonder years of sequential Prolog implementation (Q4305631) (← links)