# Prolog A [[Logic]] [[Programming Languages]]. I built the [[BOOK - Paradigms of Artificial Intelligence Programming - Peter Norvig|PAIP]] and [[BOOK - Structure and Interpretation of Computer Programs - 2nd Edition - Harold Abelson Gerald Jay Sussman Julie Sussman|SICP]] version, based on [[Logic Unification]]. But it's nothing real. I used to write a bunch of [[Prolog]] a long long time ago, and I recently got the [[BOOK - Intelligent Embedded Systems - Louis L. Odette]], which seems amazing. ## Implementations - [[BOOK - Intelligent Embedded Systems - Louis L. Odette]] - [[BOOK - Paradigms of Artificial Intelligence Programming - Peter Norvig|PAIP]] - [[BOOK - Structure and Interpretation of Computer Programs - 2nd Edition - Harold Abelson Gerald Jay Sussman Julie Sussman|SICP]] An implementation of [[Prolog]] in [[C]]: - [GitHub - trealla-prolog/trealla: A compact, efficient Prolog interpreter written in plain-old C.](https://github.com/trealla-prolog/trealla) which can be embedded in [[golang]] using [[WASM]]: - [GitHub - trealla-prolog/go: Trealla Prolog embedded in Go using WASM](https://github.com/trealla-prolog/go) ## Links A book/slideshow called "Thinking as Computation" by Hector Levesque about logic, thinking, prolog, prolog programming. It seems to go through all the usual AI and logic programming stuff, not sure if there is something more to it. - [https://www.cs.toronto.edu/~hector/PublicTCSlides.pdf](https://www.cs.toronto.edu/~hector/PublicTCSlides.pdf)