Перейти до вмісту

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

Матеріал з Вікіпедії — вільної енциклопедії.

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

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

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

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

Д

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

З

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

П

С

D

DLV

I

Is-a

S

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

X

XSB

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

Категорії:

Прихована категорія:

Вікіпедія:Категорії, які мають основні статті