A deterministic prolog fixpoint semantics

DOI10.1016/0743-1066(85)90014-7zbMath0592.68021OpenAlexW2085592760MaRDI QIDQ3721797

Melvin Fitting

Publication date: 1985

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0743-1066(85)90014-7

zbMATH Keywords

operational semanticsPROLOGfixpoint semanticsdeterministic control structures

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (5)

Proving termination of general Prolog programs ⋮ Recursion equation sets computing logic programs ⋮ Sémantique logique et dénotationnelle des interpréteurs PROLOG ⋮ Is there an axiomatic semantics for standard pure Prolog? ⋮ A denotational semantics and dataflow construction for logic programs

This page was built for publication: A deterministic prolog fixpoint semantics