An algebraic framework for the definition of compositional semantics of normal logic programs

DOI10.1016/S0743-1066(98)10039-0zbMath0933.68031OpenAlexW1990195251MaRDI QIDQ4700444

Elvira Pino, Paqui Lucio, Fernando Orejas

Publication date: 19 December 1999

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

Full work available at URL: https://doi.org/10.1016/s0743-1066(98)10039-0

zbMATH Keywords

categorical semanticsnormal logic programs

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (2)

Semantics of structured normal logic programs ⋮ A functorial framework for constraint normal logic programming

This page was built for publication: An algebraic framework for the definition of compositional semantics of normal logic programs