Pages that link to "Item:Q2893102"
From MaRDI portal
The following pages link to On the implementation of GNU Prolog (Q2893102):
Displaying 10 items.
- Prolog (Q18616) (← links)
- \textsc{Tor}: modular search with hookable disjunction (Q2441515) (← links)
- The Boolean Constraint Solver of SWI-Prolog (System Description) (Q2798256) (← links)
- The BinProlog experience: architecture and implementation choices for continuation passing Prolog and first-class logic engines (Q2893093) (← links)
- (Q3713590) (← links)
- A comparison of three PROLOG extensions (Q3992235) (← links)
- (Q4294268) (← links)
- 1983–1993: The wonder years of sequential Prolog implementation (Q4305631) (← links)
- (Q5020541) (← links)
- Fifty Years of Prolog and Beyond (Q6063890) (← links)