Books like Logic programming

A rigorous, deeply cerebral exploration of the mathematical frameworks that underpin computational logic and programming. These 12 books are the closest matches in mood, pace and themes, with what each one shares with Logic programming.

cerebral
focused
intellectual

01
Representing and reasoning with probabilistic knowledge
Fahiem Bacchus
A rigorous, deeply analytical dive into the mathematical foundations of how machines handle uncertainty.
Shares:
- focused
- intellectual
- academic
- rigorous
02
The logic of knowledge bases
Hector J. Levesque
A rigorous, intellectually demanding exploration of how abstract knowledge can be formalized and processed by machines.
Shares:
- focused
- intellectual
- academic
- rigorous
03
Artificial intelligence
George F. Luger · 1993
A rigorous, foundational journey into the logic and architecture of early machine intelligence.
Shares:
- focused
- intellectual
- academic
- rigorous
04
Advances in neural information processing systems
David S. Touretzky
A rigorous, cerebral time capsule of foundational 1990s research in neural networks and cognitive science.
Shares:
- cerebral
- focused
- intellectual
- academic
05
The (new) turing omnibus
A.K. Dewdney · 1993
A guided tour through the elegant, invisible architecture of logic that powers the modern world.
Shares:
- cerebral
- intellectual
06
On LISP
Paul Graham
An analytical deep dive into building problem-specific languages through bottom-up programming.
Shares:
- focused
- intellectual
- analytical
07
Types and Programming Languages
Benjamin C. Pierce
A rigorous, hands-on journey into the logical architecture that underpins modern programming languages.
Shares:
- focused
- intellectual
- academic
- rigorous
08
The art of computer programming
Donald Knuth · 1973
A monumental, intellectually demanding pilgrimage into the mathematical soul of computation.
Shares:
- focused
- intellectual
- academic
- rigorous
09
C programming
Kim N. King · 1996
A lucid, methodical journey into the bedrock of modern computing that transforms intimidation into structural mastery.
Shares:
- focused
- academic
10
Advanced Research in VLSI
Carlo H. Séquin
A deep, methodical dive into the foundational architecture of modern computing hardware.
Shares:
- focused
- intellectual
- academic
- objective
11
Nonlinear Programming
Dimitri P. Bertsekas · 1995
A rigorous, deeply analytical journey into the mathematical frameworks of optimization.
Shares:
- focused
- intellectual
- academic
- rigorous
12
97 Things Every Programmer Should Know
Kevlin Henney
A chorus of veteran mentors offering bite-sized, hard-won wisdom to elevate your daily coding practice.
Shares:
- intellectual

Back to Logic programming