Loading timeline…
19741970s
Robert Kowalski
Logician heavily involved in the theoretical formulation of logic programming.
Organizations
University of EdinburghImperial College London
Major Achievements
- •Contributed the theoretical foundation for PROLOG, interpreting Horn clauses procedurally.
- •Coined the equation: 'Algorithm = Logic + Control'.
- •Pioneered abductive logic programming and the calculus of events.
Key Papers
- Algorithm = Logic + Control
Robert Kowalski · Communications of the ACM · 1979