Strong termination of logic programs
From MaRDI portal
Publication:4036282
DOI10.1016/0743-1066(93)90014-8zbMATH Open0787.68016OpenAlexW2059709382MaRDI QIDQ4036282FDOQ4036282
Publication date: 16 May 1993
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://dspace.library.uu.nl/handle/1874/26249
Recommendations
- Termination proofs for logic programs
- A methodology for proving termination of logic programs
- On the strong completion of logic programs
- scientific article
- Termination of constraint logic programs
- scientific article; zbMATH DE number 1149425
- Input-Termination of Logic Programs
- Program Development in Computational Logic
- scientific article; zbMATH DE number 1696776
Cited In (23)
- Fast offline partial evaluation of logic programs
- Logic + control: On program construction and verification
- A logical semantics for depth-first Prolog with ground negation
- Title not available (Why is that?)
- Left termination turned into termination
- On the existence of nonterminating queries for a restricted class of PROLOG-clauses
- Fast and accurate strong termination analysis with an application to partial evaluation
- \(\exists\)-Universal termination of logic programs
- On Completeness of Logic Programs
- Program Development in Computational Logic
- On Correctness and Completeness of an n Queens Program
- Title not available (Why is that?)
- Undecidable goals for completed acyclic programs
- Termination of logic programs: the never-ending story
- Totally correct logic program transformations via well-founded annotations
- Correctness and Completeness of Logic Programs
- Proving completeness of logic programs with the cut
- Negation as failure for disjunctive logic programming
- Loop checking in SLD-derivations by well-quasi-ordering of goals
- Input-Termination of Logic Programs
- Classes of terminating logic programs
- Termination of constraint logic programs
- Automated modular termination proofs for real Prolog programs
This page was built for publication: Strong termination of logic programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4036282)
