Заглавие | A semantics of logic programs without searching |
Вид публикация | Journal Article |
Година на публикуване | 2000 |
Автори | Baleva V |
Списание | Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique |
Том | 92 |
Issue | Livre 1 - Mathématiques et Mecanique |
Pagination | 31-48 |
ISSN | 0205-0808 |
ключови думи | abstract structures, logic programming, semantics |
Резюме | A generalized version of the declarative semantics of Horn clause programs on abstract structures is presented. The amin feature of the semantics is that it does not admit searching in the domain of the structure. |
1991/95 MSC | 03D75, 68Q05, 68Q55 |
Прикачен файл | Размер |
---|---|
92-031-048.pdf | 1.7 MB |