A structured alternative to Prolog with simple compositional semantics

DOI10.1017/S1471068411000202zbMath1222.68065arXiv1107.5408OpenAlexW2094158590MaRDI QIDQ3087448

António Porto

Publication date: 16 August 2011

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1107.5408

zbMATH Keywords

cutdenotational semanticsPrologcompositional semantics

Mathematics Subject Classification ID

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

Cites Work

• The witness properties and the semantics of the Prolog cut

This page was built for publication: A structured alternative to Prolog with simple compositional semantics