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.
