6 ms·

What Prolog resources would you recommend for someone to learn it and a blown mind?

• rramadass 2y ago
  A previous HN discussion - https://news.ycombinator.com/item?id=40994552 https://news.ycombinator.com/item?id=40994552
  • __rito__ 2y ago
    Thanks!
    • rramadass 2y ago
      While i am not too familiar with Prolog, i have been intending to study it in depth given that it can be used to design Languages/DSLs/Expert Systems/ML. Here are some resources which i have been collecting; 1) Formal Syntax and Semantics of Programming Languages: A Laboratory-Based Approach by Ken Slonneger uses Prolog to design/implement languages - http://homepage.divms.uiowa.edu/~slonnegr/ http://homepage.divms.uiowa.edu/~slonnegr/ and https://homepage.cs.uiowa.edu/~slonnegr/plf/Book/ https://homepage.cs.uiowa.edu/~slonnegr/plf/Book/ 2) Defining and Implementing Domain-Specific Languages with Prolog (PhD thesis of Falco Nogatz) pdf here - https://opus.bibliothek.uni-wuerzburg.de/opus4-wuerzburg/files/30187/Nogatz_Falco_Thesis.pdf https://opus.bibliothek.uni-wuerzburg.de/opus4-wuerzburg/fil... 3) Use Prolog to improve LLM's reasoning HN thread - https://news.ycombinator.com/item?id=41831735 https://news.ycombinator.com/item?id=41831735 4) User "bytebach" gives an example of using Prolog as an intermediate DSL in the prompt to an LLM so as to transform English declarative -> Imperative code - https://news.ycombinator.com/item?id=41549823 https://news.ycombinator.com/item?id=41549823 5) Prolog in the LLM Era (a series by Eugene Asahara) - https://eugeneasahara.com/category/prolog-in-the-llm-era/ https://eugeneasahara.com/category/prolog-in-the-llm-era/
• tannhaeuser 2y ago
  You can run pure ISO Prolog interactively in your browser on [1]. There's also an extended tutorial for solving toy container logistics problems there ([2]). Though while it doesn't require prior Prolog knowledge, it's not so much a learning resource as it is a teaser and practical guide for using Prolog's built-in combinatorical search for linear planning in the classic STRIPS style (David Warren's WARPLAN being among the earliest Prolog applications apart from NLP). [1]: https://quantumprolog.sgml.net https://quantumprolog.sgml.net [2]: https://quantumprolog.sgml.net/container-planning-demo/part1.html https://quantumprolog.sgml.net/container-planning-demo/part1...
• upghost 2y ago
  Power of Prolog. Nearly every video is mind blowing. Blog is great too, and Markus is a great guy also. https://youtube.com/@thepowerofprolog https://youtube.com/@thepowerofprolog https://www.metalevel.at/prolog https://www.metalevel.at/prolog