Категорія:Логічне програмування

Основна стаття для цієї категорії: Логічне програмування.

Сторінки в категорії «Логічне програмування»

Показано 11 сторінок цієї категорії (із 11).

Логічне програмування

Д

Диз'юнкт Горна

З

Заперечення як відмова

Л

Локальна сумісність

П

С

Семантика стійких моделей

D

DLV

I

Is-a

S

ВЛВ-резолюція

X

XSB

Отримано з https://uk.wikipedia.org/w/index.php?title=Категорія:Логічне_програмування&oldid=19951998