Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 2 of 2
Full-Text Articles in Physical Sciences and Mathematics
Fixpunktsemantik Logischer Programme, Pascal Hitzler
Fixpunktsemantik Logischer Programme, Pascal Hitzler
Computer Science and Engineering Faculty Publications
No abstract provided.
Topology And Logic Programming Semantics, Pascal Hitzler
Topology And Logic Programming Semantics, Pascal Hitzler
Computer Science and Engineering Faculty Publications
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.