Title | A semantics of logic programs without searching |
Publication Type | Journal Article |
Year of Publication | 2000 |
Authors | Baleva V |
Journal | Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique |
Volume | 92 |
Issue | Livre 1 - Mathématiques et Mecanique |
Pagination | 31-48 |
ISSN | 0205-0808 |
Keywords | abstract structures, logic programming, semantics |
Abstract | 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 |
Attachment | Size |
---|---|
92-031-048.pdf | 1.7 MB |