An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs

Вы здесь

Автор:

Sagonas K.

Swift T.

Количество экземпляров:

Вид:

Статья из сборника или журнала

Год:

1998

Ключевые слова:

логическое программирование

пролог

Стр.:

P.586-634.

Библиография:

Bibliogr.: p.632-634

Источник:

ACM Trans. on Programming Languages and Systems

Номер:

Том:

Карточка:

Б3.21, Б3.22, Б2.14, В2.11.

Sagonas K., Swift T..

An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs// ACM Trans. on Programming Languages and Systems-1998, №3.-Vol. 20.-P.586-634.
Bibliogr.: p.632-634

Таблица в старой библиотеке:

ACM5 720