Raamatus vaadeldakse loogilist programmeerimiskeelt Prologi ja selles programmeerimist.
Loogilise programmeerimise kursuses tegeletakse probleemiga: millised faktid peavad olema kajastatud mudelis (ja kuidas), et see sobiks etteantud/nõutud järelduste tegemiseks, probleemide lahendamiseks jne. Seega on siin tegemist loogilise/otstarbeka mõtlemise/järeldamise uurimisega: milline info on oluline, mis peab olema teada, et leida nõutud seoseid ja suurusi ning lahendada antud probleeme?
Programmeerimiskeel Prolog erineb oluliselt «tavalistest» programmeerimiskeeltest Basic, Pascal, C jne.
Prologis programmeerides on peatähelepanu just ülesande kontseptuaalse sisu analüüsimisel; Prologi programm kirjeldab tegelikkuse objekte ja nendevahelisi suhteid.