Negation-as-failure rule for general logic programs with equality
From MaRDI portal
Publication:3727350
DOI10.1016/S0743-1066(85)80004-2zbMath0595.68005OpenAlexW2004921787MaRDI QIDQ3727350
Publication date: 1985
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0743-1066(85)80004-2
logic programmingfailure setfixed point semanticsClark completionsuccess setderivation sequencenon-recursive ordinal
Mechanization of proofs and logical operations (03B35) General topics in the theory of software (68N01)
Related Items