Prolog for Pattern-Oriented Software Diagnostics

Logic Programming for Memory Dump, Trace, and Log Analysis

By: Dmitry Vostokov

Write A Review

Paperback | 1 November 2026

At a Glance

Paperback
776 Pages

Dimensions(cm)
25.4 x 17.78 x 5.36

Paperback

$99.00

or 4 interest-free payments of $24.75 with

Ships in 5 to 7 business days

Software diagnostics is reasoning from artifacts, memory dumps, traces, and logs, to statements about the software that produced them, and its vocabulary is a pattern language: Spiking Thread, Wait Chain, Deadlock, Discontinuity, Significant Event. The catalogs that name these patterns were written for people. This book writes them for a machine as well, in the one language in which a description of structure is also a procedure for finding it.

In Prolog, a memory dump rendered into facts is a knowledge base, a pattern written as a rule is a query that enumerates its instances, and the search that answers the query is the analyst's own search made explicit, repeatable, and open to inspection. The book teaches both subjects from the ground up and together: Prolog, with every construct motivated by a diagnostic use, and the memory analysis and trace analysis pattern catalogs, with 192 patterns, each with a section covering the recognizer, its transcript, and the limits of the formalization. It then goes further than the catalogs: explanation by meta-interpretation, performance at the scale of real dumps and traces, and integration with scripts, services, language-model agents, and the debugger itself, including a WinDbg extension that hosts the engine.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.