Document Type
Thesis
Publication Date
Winter 1997
Abstract
Logic programming employs logic as a programming language. Thus a logic program consists of a set of clauses of a certain form most often a subset of the clauses of first order logic viewed as axioms. Computation in this paradigm is deduction from these axioms via some interpreter.
Logic programming semantics is concerned with background theory for logic programming. It tries to provide models for logic programs to give them their intended meaning and to connect them with practically implementable interpreters.
Repository Citation
Hitzler, P.
(1997). Topology and Logic Programming Semantics. .
https://corescholar.libraries.wright.edu/cse/231
