Отраслевые рубрики: вычислительная техника, языки программирования

Ключевые слова: базы данных, внелогические предикаты, вычислительные модели, игровые программы, интерпретаторы, конструкции, конъюнктивные вопросы, логические переменные, логические программы, логическое программирование, метаинтепретаторы, металогические предикаты, методы поиска, недетерминированное программирование, отрицание, отсечение, программирование, программное обеспечение, Пролог, рекурсивное программирование, рекурсия, семантика, термы, универсальные вопросы, чистый Пролог, экзистенциальные вопросы