Foundations of Logic Programming

Mentions per year

What Hacker News says

• YeGoblynQueenne · Oct 10, 2018 · Recommends

  …theoretical side, another commenter recommended Perreira & Shreiber, which I can't recommend enough. Also, for a more formal text on logic programming, with proofs and all, the classic reference is J. W. Lloyd, Foundations of Logic Programming. Again, you can probably find a copy in your friendly neighbourhood university library (or, er, google it for a very bad copy of dubious legitimacy, like).

  on “The Birth of Prolog (1992) [pdf]” ↗
• YeGoblynQueenne · Jan 16, 2026 · Recommends

  And also "Prolog Programming for AI" by Bratko and "Programming in Prolog" by Clocksin and Mellish. Although these days I'd recommend anyone interested in Prolog starts in at the deep end with "Foundations of Logic Programming" by George W. Lloyd, because I've learned the hard way that teaching Prolog as a mere programming language, without explaining the whole logic programming thing, fails.

  on “My Gripes with Prolog” ↗
• ionfish · Aug 31, 2010 · Mentions

  …declarative, which purely functional and logic programming languages are (to some extent). Interestingly, given the conclusions reached in the article, both Sterling and Shapiro's The Art of Prolog and Lloyd's Foundations of Logic Programming mention the Japanese fifth generation project as an example of Prolog's impending breakthrough into the mainstream.

  on “Who killed Prolog?” ↗
• Twisol · Jun 6, 2018 · Mentions

  So this is a bit of a tangent, but your Santa Claus example really clarified something I've been reading about recently. I'm reading Lloyd's "Foundations of Logic Programming", which essentially explains the fundamentals behind logic languages like Prolog. We write programs using uninterpreted functions[0] to represent our data, and define predicates to drive the program.…

  on “Logic is Metaphysics (2011) [pdf]” ↗
• YeGoblynQueenne · May 29, 2018 · Mentions

  …non-trivial understanding not only of its implementation but also of the substantial theoretical work that led to its implementation as the prototypical logic programming language (e.g. see J. W. Lloyd, Foundations of Logic Programming). The thing is, there is a lot more going on with Prolog than "here is a language that can be used to control a digital computer". Logic programming is the continuation of the work of the logicians…

  on “APL deserves its renaissance too” ↗
• YeGoblynQueenne · Apr 23, 2023 · Mentions

  …entailed by a logic program S if there exists a clause C that can be derived from S and such that C subsumes D. Similar statements are also found in the logic programming literature, for example in Lloyd's Foundations of Logic Programming. There's a bit of a mystery about the origins of the Theorem. A series of similar papers by Ninenhuys-Cheng and de Wolf point out different definitions and apparent rediscoveries of the Theorem, and…

  on “Why did Prolog lose steam? (2010)” ↗
• YeGoblynQueenne · Jul 1, 2024 · Mentions

  …parameter passing, data selection and data construction. The computation terminates when the empty goal is produced. And that's first-order SLD-Resolution, with unification, in a nutshell! From George Lloyd: Foundations of Logic Programming, second Ed. 1993. There's a copy of the book here: https://archive.org/details/foundationsoflog0000lloy_o7l2 But it's a limited preview :/ ________ [1] ... well, the substitution that makes the Horn…

  on “Unification in Elixir” ↗