prolog
56:03A Tour of Prolog
33K views • 4 years ago
The Power of Prolog
Markus Triska tours Prolog's most distinctive features, including its use as a database and query language, rule processing, constraint solving and compile-time rewriting. It also covers concise meta-interpreters.
31:00ALAIN COLMERAUER L'AVENTURE PROLOG
7K views • 4 years ago
Prolog Heritage
A French-language documentary on the history of Prolog, created in Marseille by Alain Colmerauer in the early 1970s, with interviews of many people involved. It traces the origins of logic programming and later developments of the language.
39:58"Production Prolog" by Michael Hendricks
58K views • 12 years ago
Strange Loop Conference
Michael Hendricks of PriceCharting shares tricks and pain points from running Prolog in production for 18 months at Strange Loop. It argues Prolog is a productive modern language beyond logic puzzles, and includes a demo of changing code mid-execution.
40:20"Shen: A Sufficiently Advanced Lisp" by Aditya Siram
26K views • 12 years ago
Strange Loop Conference
Aditya Siram introduces Shen, a small hosted Lisp with macros, a built-in Prolog and an optional type system. The talk demos a full web app moving between functional, logic and imperative styles, including turning JSON into a type with macros.