Hi, i am a compsci student that stumbled upon prolog and logic programming during my studies. While i have seen the basics of vanilla prolog (atoms, predicates, cuts, lists and all that jazz) and a godawful implementation of an agent communication system that works on SICStus prolog. I would like to know more because i think that this language might be a powerhouse in per se. Since my studies ...
"The Art of Prolog" and "The Craft of Prolog" were also two of the better programming books I have read in my life. IMHO, The Art of Prolog is along with Concepts, Techniques, and Models of Computer Programming, Paradigms of AI Programming, and Structure and Interpretation of Computer Programs the canon of dynamically typed programming.
Prolog feels like magic, and it well worth learning. It is a general purpose programming language rather than a very specific purpose tool like Z3. Sadly non-'pure' logical programming is required to get real-world performance (eg. cuts that prune the search tree) which kind of feel like, or is, a leaky abstraction that breaks the magic. I have had good success in solving logical problems by ...
Prolog is a (the) language based on the logic programming paradigm that also has a procedural interpretation. It's particularly useful for any kind of combinatorical exploration. Quantum Prolog is touting Prolog for "Planning, optimization, diagnostics, and complex configuration" [1] with an extensive example problem for discrete sea freight container shipping optimization (and also for a ...
Prolog has reached an exciting new milestone with Scryer prolog. It is the first highly performant open source iso-compliant Prolog. I would check out Markus Triska's ...