01
Prolog and Logic Programming: Computing by Stating Relations
Prolog turned logical relations and inference into a programming model, emerging from collaboration between Alain Colmerauer's Marseille group and Robert Kowalski's work on the procedural interpretation of logic.
↗