scientific article
From MaRDI portal
Publication:3976572
zbMath0744.68088MaRDI QIDQ3976572
Publication date: 26 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Logic programming (68N17)
Related Items (3)
Axiomatizations of backtracking ⋮ A logical semantics for depth-first Prolog with ground negation ⋮ Is there an axiomatic semantics for standard pure Prolog?
This page was built for publication:
