Publication:3976572
From MaRDI portal
zbMath0744.68088MaRDI QIDQ3976572
Publication date: 26 June 1992
68T27: Logic in artificial intelligence
68N15: Theory of programming languages
68Q55: Semantics in the theory of computing
68N17: Logic programming
Related Items
Is there an axiomatic semantics for standard pure Prolog?, A logical semantics for depth-first Prolog with ground negation