Loģiskā programmēšana. Mācību materiāli

Pēdējās izmaiņas 25.09.2008.

00elog.start.pdf (Ievads)

01elog.intro.pdf (1. Loģiskās programmēšanas pamatprincipi)

02elog.grammar.pdf (2. Formālās gramatikas)

03elog.boolean.pdf (3. Būla funkcijas un formulas)

04elog.logic.pdf (4. Izteikumu loģikas un predikātu rēķinu elementi)

05elog.program.pdf (5. Prolog programmas struktūra)

06elog.rules.pdf (6. Noteikumi – faktu inteliģents paplašinājums)

07elog.execution.pdf (7. Prolog vaicājumu izpilde)

08elog.data.pdf (8. Datu struktūras un aritmētika)

09elog.backtracking.pdf (9. Atpakaļkāpšanās mehānisms, tā ietekmēšana un citi mehānismi)

10elog.lists.pdf (10. Saraksts – populārākais struktūras veids)

11elog.lists.pdf (11. Dažādi predikāti sarakstu apstrādei)

12elog.operators.pdf (12. Operatoru notācija)

13elog.io.pdf (13. Ievade un izvade)

14elog.terms.pdf (14. Termu apstrādes procedūras)

15elog.clauses.pdf (15. Programmas teikumu vadība un citi specifiski mehānismi)

16elog.examples.pdf (16. Problēmu risināšanas piemēri)

src.zip (Pirmkoda piemēri)