Canonical logic programs
From MaRDI portal
Publication:3721789
DOI10.1016/0743-1066(86)90020-8zbMath0592.68018MaRDI QIDQ3721789
Peter J. Stuckey, Joxan Jaffar
Publication date: 1986
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0743-1066(86)90020-8
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Protected completions of first-order general logic programs, Between constructive mathematics and PROLOG, Transforming normal logic programs to constraint logic programs, Paraconsistent logic programming, Left termination turned into termination, Definite clause programs are canonical (over a suitable domain)