A NON-DEFINABILITY RESULT FOR A PREDICATIONAL LANGUAGE WITH THE USUAL CONTROL

DOI10.1142/S0129054101000540zbMath1319.68052MaRDI QIDQ5249265

Birgit Elbl

Publication date: 30 April 2015

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

zbMATH Keywords

controldenotational semanticsexpressivenesspure Prolog

Mathematics Subject Classification ID

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

Cites Work

• Denotational and operational semantics for prolog
• A declarative semantics for depth-first logic programs1The research reported here is based on Ref. [12.1]
• A Machine-Oriented Logic Based on the Resolution Principle

This page was built for publication: A NON-DEFINABILITY RESULT FOR A PREDICATIONAL LANGUAGE WITH THE USUAL CONTROL