| Номер документа в системі: | 125069 |
| Автор: | Шекета В.І. |
| Назва документа: | Модіфікаційні предикатні запити , як множина логічних PROLOG- програм з обмеженнями |
| УДК | 681.3+622.276 |
| Мова документу | Українська |
| Аннотація | У роботі показано, що кожний модифікаційний предикатний запит є еквівалентним деякій Prolog-програмі, із заданою множиною обмежень. Запропоновано формальнологічне визначення для процедури відображення множини модифікаційних предикатних запитів на множину логічних Prolog-програм в рамках підходу на основі семантики стабільних моделей |
| Кількість сторінок | С. 114-117. |