Syntax and semantics of logic programming
subject: Category:Logic programming
date: March 2023
description: formal semantics of logic programming languages
with: a formal definition of stratification
subject: Category:Programming language syntax