Clause and Effect

Denne boken er rettet mot personer som har erfaring med programmering, enten i Prolog eller andre programmeringsspråk, og som er fortrolige med håndtering av referansehåndbøker. Fokuset i boken er på en forenklet og disiplinert metode for å identifisere de matematiske strukturene knyttet til et problem, og deretter omforme disse strukturene til Prolog-programmer. Boken tar derfor ikke for seg spesifikke egenskaper ved språket, eller Prolog-programmeringsteknikker generelt. I arbeidet brukes et relativt rent subset av Prolog, som omfatter 'cut', men ingen input/output-funksjoner, ingen assert/retract, ingen syntaktiske utvidelser som if-then-else og grammatikkregler, og nærmest ingen innebygde predikater utover aritmetiske operasjoner. Jeg håper at utøvere av Prolog-programmering, som har en spesiell interesse for de finere detaljene av syntaktisk stil og språklige trekk, vil forstå mine intensjoner ved ikke å diskutere disse temaene. Presentasjonen er, etter min mening, nytenkende og utfordrende.