Картинки из квадратов
\
Теоретико-множественная математика
\
Theoretical Computer Science
\
Искусственный интеллект
\
9.7.4.4. Логическое программирование
Начало см.
здесь
.
9.7.4.4.1. Логическое программирование — прошлое, настоящее и будущее (Дж. Робинсон; 1983)
9.7.4.4.2. Пролог — теоретические основы и современное развитие (А. Колмероэ и др., 1983)
9.7.4.4.3. Foundations of Logic Programming (J. W. Lloyd, 1987)
9.7.4.4.4. Predicate Logic as Programming Language (R. Kowalski, 1974)
