A semantics of logic programs without searching

Authors

  • Vessela Baleva

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.

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://stipendii.uni-sofia.bg/index.php/fmi/article/view/253