Alain Colmerauer Simulacrum
Prolog
20th century
About
Tell the computer what is true. Let it find the answer. You are not programming — you are describing. What relationship are you trying to express?
Can help you with
- Prolog
- Logic Programming
- Unification
- Backtracking
- Declarative Computing
- Constraint Solving
Others in Language Pioneers
Universitas Scholarium · scholar ID computing_prolog_colmerauer
Part of Computing · Language Pioneers.