Tõnu Tamme raamat “Loogilise programmeerimise meetod” tutvustab lugejatele loogilise programmeerimise põhimõtteid ja meetodeid, keskendudes eriti programmeerimiskeelele Prolog. Raamat annab ülevaate erinevatest teemadest, mis on seotud loogilise programmeerimisega, ning pakub praktilisi lahendusi erinevatele ülesannetele.
Raamatus käsitletakse järgmisi teemasid:
Programm kui teadmiste baas: Programmi ülesehitus ja teadmiste esitamine.
Tehted: Loogilised ja aritmeetilised operatsioonid.
Aritmeetika: Arvutused ja matemaatilised tehnikad.
Listid: Andmestruktuurid ja nendega töötamine.
Keerdülesannete lahendamine: Probleemide lahendamine keeruliste reeglite abil.
Metapredikaadid: Ülemistel tasetel tegutsevad reeglid.
Tekstitöötlus: Teksti analüüs ja töötlemine.
Grammatikad: Keelte kirjeldamine ja analüüsimine.
Loogilise programmeerimise lahendused: Praktilised näited ja rakendused.
Raamat on suunatud nii algajatele kui ka kogenud loogilise programmeerimise huvilistele, kes soovivad mõista loogilise programmeerimise meetodeid ja kasutada Prologi programmeerimiskeelt erinevate ülesannete lahendamiseks. “Loogilise programmeerimise meetod” pakub sügavuti minevat ülevaadet loogilise programmeerimise valdkonnast ning praktilisi näiteid ja lahendusi erinevatele probleemidele.