Re: After Clocksin & Mellish?



| Jim Spriggs <jim.sprigs@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx> wrote:
|
| I'm learning Prolog from Clocksin & Mellish "Programming in Prolog" 5-th
| ed. What book would be a good text to read next? I wouldn't mind
| learning how Prolog interpreters are implemented and I no strong
| interest in AI.

Christopher Hogger's book "Introduction to Logic Programming", though
quite old now, has a good chapter on the makings of an interpreter. It's
in a "bolt this lever to this part" sense, whereas Ait-Kaci's book
(online somewhere) on the Warren Abstract Machine is in the hex-head
style.

For getting more understanding of programming in Prolog I'd recommend
Sterling & Shapiro "The Art of Prolog" and Richard O'Keefe "The Craft of
Prolog". You can get a sense of the latter from his contributions to the
SWIPL mailing list.

--
Patrick Herring, http://www.anweald.co.uk/ph
.



Relevant Pages

  • Re: Mainstreaming Prolog a Pragmatic Approach?
    ... >> people who teach Prolog to do it in a different way. ... I think Prolog is a language whose limitations mean it will not achieve ... logic programming languages which overcome those limitations. ... should remain some sort of exclusive clique. ...
    (comp.lang.prolog)
  • comp.lang.prolog Frequently Asked Questions
    ... What is the Association for Logic Programming? ... I think language X is better than Prolog. ... Platforms: Window, Linux and Solaris ...
    (comp.lang.prolog)
  • comp.lang.prolog Frequently Asked Questions
    ... What is the Association for Logic Programming? ... I think language X is better than Prolog. ... Platforms: Window, Linux and Solaris ...
    (comp.lang.prolog)
  • comp.lang.prolog Frequently Asked Questions
    ... What is the Association for Logic Programming? ... I think language X is better than Prolog. ... Platforms: Window, Linux and Solaris ...
    (comp.lang.prolog)
  • comp.lang.prolog Frequently Asked Questions
    ... What is the Association for Logic Programming? ... I think language X is better than Prolog. ... Platforms: Window, Linux and Solaris ...
    (comp.lang.prolog)