The Online Books Page

Logic programming languages

See also what's at your library, or elsewhere.

• Programming languages (Electronic computers)

• Prolog (Computer program language)

• Learn Prolog Now! (electronic edition, c2008), by Patrick Blackburn, Johannes Bos, and Kristina Striegnitz (HTML with commentary at learnprolognow.org)
• The Art of Prolog: Advanced Programming Techniques (second edition; Cambridge, MA and London: MIT Press, c1994), by Leon Sterling and Ehud Y. Shapiro, contrib. by David H. D. Warren (PDF at dropbox.com)
• Artificial Intelligence Through Prolog (1988), by Neil C. Rowe (HTML at nps.edu)
• The Art of Prolog (first edition; Cambridge, MA and London: MIT Press, c1986), by Leon S. Sterling and Ehud Y. Shapiro (at dropbox.com)
• Prolog for Programmers (London et al.: Academic Press, 1985), by Feliks Kluźniak and Stanisław Szpakowicz, contrib. by Janusz St. Bień (multiple formats with commentary at Google Sites)
• An Introduction to Logic Programming Through Prolog (online edition, with supplementary material, 2010), by J. M. Spivey (PDF with commentary in the UK)
• Prolog and Natural Language Analysis (digital edition, 2002), by Fernando C. N. Pereira and Stuart M. Shieber (PDF with commentary at mtome.com)
• Logic, Programming, and Prolog (second edition; c2000), by Ulf Nilsson and J. Małuszyński (PDF with commentary in Sweden)
• Adventure in Prolog, by Dennis Merritt (illustrated HTML with commentary at amzi.com)
• Warren's Abstract Machine: A Tutorial Reconstruction, by Hassan Aït-Kaci (PDF and other formats at Sourceforge)
• Expert Systems in Prolog, by Dennis Merritt (HTML with commentary at amzi.com)

Items below (if any) are from related and broader terms.

• Programming Languages: Application and Interpretation (2007), by Shriram Krishnamurthi (HTML and PDF with commentary at Brown)
• Advanced Programming Language Design (1996), by Raphael A. Finkel (PDF files at Addison-Wesley)
• Python for Data Analysis (open access third edition; ca. 2022), by Wes McKinney (illustrated HTML with commentary at wesmckinney.com)
• Programming and Programming Languages (2016), by Shriram Krishnamurthi (HTML at Brown)
• Programming in Oberon: Steps Beyond Pascal and Modula (c1992), by Martin Reiser and Niklaus Wirth (PDF in Switzerland)
• The Art of Assembly Language Programming (several editions; all but the "published edition" are free), by Randall Hyde (HTML and other formats at plantation-productions.com)

• Semantics With Applications: A Formal Introduction (revised online edition, 1999), by Hanne Riis Nielson and Flemming Nielson (PDF and Postscript with commentary at Wayback Machine)

• Ada 95: The Craft of Object-Oriented Programming, by John English (HTML at adaic.org)

• Alphard: Form and Content (New York et al.: Springer-Verlag, c1981), ed. by Mary Shaw (PDF at CMU)

• PC Assembly Language (2006), by Paul A. Carter (PDF files with commentary at github.io)
• Atari Roots (1984), by Mark Andrews (HTML at atariarchives.org)
• Assembly Language Programming for the Atari Computers (1984), by Mark Chasin (HTML at atariarchives.org)
• Usborne Introduction to Machine Code for Beginners (London: Usborne Pub., c1983), by Lisa Watts and Mike Wharton, illust. by Naomi Reed and Graham Round (PDF at Usborne and Google)
• The Art of Assembly Language Programming (several editions; all but the "published edition" are free), by Randall Hyde (HTML and other formats at plantation-productions.com)

• BASIC: A Manual for BASIC, the Elementary Algebraic Language Designed for Use with the Dartmouth Time Sharing System (1964), by Dartmouth College Computation Center (PDF at textfiles.com)
• David Ahl's BASIC Computer Adventures (1986), by David H. Ahl (illustrated HTML at atariarchives.org)
• Machine Language for Beginners: Machine Language Programming for BASIC Language Programmers (1983), by Richard Mansfield (illustrated HTML at atariarchives.org)
• Introduction to Computer Programming (Tulsa, OK and Burlington, ON: Hayes, c1982), by Brian Reffin Smith, ed. by Lisa Watts, illust. by Graham Round and Martin Newton (PDF at Usborne and Google)
• ZX81 Basic Programming (second edition; 1981), by Steven Vickers (page images at worldofspectrum.org)
• Atari BASIC, XL Edition (1985), by Bob Albrecht, LeRoy Finkel, and Jerald Brown (page images at atariarchives.org)
• Atari Player-Missile Graphics in BASIC (1984), by Philip C. Seyer (illustrated HTML at atariarchives.org)
• Big Computer Games (1984), ed. by David H. Ahl (HTML and page images at atariarchives.org)
• Atari BASIC (1979), by Bob Albrecht, LeRoy Finkel, and Jerald Brown (page images at atariarchives.org)
• More BASIC Computer Games (1979), ed. by David H. Ahl (HTML and page images at atariarchives.org)
• BASIC Computer Games (1978), ed. by David H. Ahl (HTML and page images at atariarchives.org)

• An Introduction to C and GUI Programming (second edition; Cambridge, UK: Raspberry Pi Press, ca. 2022), by Simon Long (PDF with commentary at raspberrypi.org)
• Modern C (open access second edition, 2019), by Jens Gustedt (PDF with commentary at inria.fr)
• Learn to Code with C (from the MagPi Essentials series; Cambridge, UK: Raspberry Pi Ltd., ca. 2016), by Simon Long (PDF with commentary at raspberrypi.org)
• The C Book (1991), by Mike Banahan, Declan Brady, and Mark Doran (HTML in the UK)
• Using C on the UNIX System (originally published 1989; free electronic edition 2014), by David A. Curry (multiple formats with commentary at bitsinthewind.com)
• Image Processing in C (second edition; c2000), by Dwayne Phillips (PDF with commentary in the UK)
• Foundations of Computer Science (C edition, ca. 1994), by Alfred V. Aho and Jeffrey D. Ullman (PDF files with commentary at Stanford)
• Objektorientierte Programmierung mit ANSI C (in German and English; c1994), by Axel T. Schreiner
  • German original: PDF at RIT
  • English translation ("Object-Oriented Programming with ANSI C"): PDF at RIT
• Numerical Recipes in C: The Art of Scientific Computing (second edition, 1992), by William H. Press, Saul A. Teukolsky, William T. Vetterling, and Brian P. Flannery (FileOpen-dependent PDF files at nrbook.com)
• Scientific Programming and Computer Architecture (Cambridge, MA and London: MIT Press, c2017), by Divakar Viswanath (illustrated HTML at github.io)
• Writing Bug-Free C Code: A Programming Style That Automatically Detects Bugs in C Code (based on the 1995 edition), by Jerry Jongerius (HTML at duckware.com)
• Build Your Own Lisp, by Daniel Holden (illustrated HTML with commentary at buildyourownlisp.com)

• COBOL: A Self-Instructional Manual (Englewood Cliffs, NJ: Prentice-Hall, c1963), by James A. Saxon (page images at HathiTrust)

• Data Science at the Command Line (free online edition; originally published 2014), by Jeroen Janssens (illustrated HTML at datascienceatthecommandline.com)

• Forth Guide, by Glen B. Haydon (HTML at Wayback Machine)
• Starting Forth (electronic edition), by Leo Brodie (illustrated HTML with commentary at forth.com)
• Thinking Forth: A Language and Philosophy for Solving Problems (electronic edition), by Leo Brodie (PDF files with commentary at sourceforge.net)

More items available under broader and related terms at left.