Pages that link to "Prolog"
← Prolog
The following pages link to Prolog:
Displaying 27 items.
- Feature structure (← links)
- History of software engineering (← links)
- Lightweight markup language (← links)
- School of Informatics, University of Edinburgh (← links)
- Operator (computer programming) (← links)
- Default logic (← links)
- Ehud Shapiro (← links)
- History of programming languages (← links)
- Cut-elimination theorem (← links)
- Prolog (programming language) (redirect page) (← links)
- ROOP (programming language) (← links)
- Constraint satisfaction (← links)
- Linda (coordination language) (← links)
- Incremental compiler (← links)
- Datalog (← links)
- POP-2 (← links)
- ISO/IEC 13211-1 (redirect page) (← links)
- Recursive definition (← links)
- Occurs check (← links)
- ObjVlisp (← links)
- Call-with-current-continuation (← links)
- David H. D. Warren (← links)
- Tail call (← links)
- Logic in computer science (← links)
- Modulo (← links)
- Berkeley RISC (← links)
- Template:Timeline History of Computing (← links)