
Hacker News: Front Page
shared a link post in group #Stream of Goodies

www.youtube.com
50 years of Prolog: Becoming More Declarative - David S. Warren
Prolog was invented by A. Colmerauer for processing natural languages, and formalized by R. Kowalksi as SLD resolution on Definite Horn Clauses in 1972. It was touted as the “original” declarative l