THE LIVING ARCHIVE

From punched cards to autonomous collaborators: the ideas, people, languages and systems that taught machines to follow—and increasingly interpret—human intent.

PAST / PRESENT / NEXT

Collection

Tag: logic-programming

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.

↗