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

Issue

Vol. 92 (2000): Ann. Sofia Univ. Fac. Math and Inf.

Section

Articles

How to Cite

A semantics of logic programs without searching. (2000). Annual of Sofia University St. Kliment Ohridski. Faculty of Mathematics and Informatics, 92, 31-48. https://annual.uni-sofia.bg/index.php/fmi/article/view/253