A semantics of logic programs without searching
Keywords:
abstract structures, logic programming, semanticsAbstract
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.
Downloads
Published
2000-12-12
How to Cite
Baleva, V. (2000). A semantics of logic programs without searching. Ann. Sofia Univ. Fac. Math. And Inf., 92, 31–48. Retrieved from https://annual.uni-sofia.bg/index.php/fmi/article/view/253
Issue
Section
Articles
