Домашня
Випадкова
Поблизу
Увійти
Налаштування
Пожертвувати
Про Вікіпедію
Відмова від відповідальності
Знайти
Категорія
:
Логічне програмування
Мова
Спостерігати
Редагувати
Основна стаття для цієї категорії:
Логічне програмування
.
Сторінки в категорії «Логічне програмування»
Показано 11 сторінок цієї категорії (із 11).
Логічне програмування
Д
Диз'юнкт Горна
З
Заперечення як відмова
Л
Локальна сумісність
П
Предикат
Програмування наборами відповідей
С
Семантика стійких моделей
D
DLV
I
Is-a
S
ВЛВ-резолюція
X
XSB