A practical analysis of non-termination in large logic programs

DOI10.1017/S1471068413000446MaRDI QIDQ5398306zbMATH OpenFDO

Authors Senlin Liang, Michael Kifer

Publication date 27 February 2014

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S1471068413000446

zbMATH Keywords

logic programmingtermination and non-termination analysisterminyzer

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Non-termination Analysis of Logic Programs Using Types
• Termination of logic programs: the never-ending story
• Non-termination analysis of logic programs with integer arithmetics
• Termination prediction for general logic programs
• scientific article; zbMATH DE number 1948416

Cites work

• An analysis of loop checking mechanisms for logic programs
• An overview of Ciao and its design philosophy
• Automated termination analysis for logic programs with cut
• HiLog: A foundation for higher-order logic programming
• Logical foundations of object-oriented and frame-based languages
• Termination proofs for logic programs with tabling
• The language features and architecture of B-Prolog
• The YAP prolog system
• XSB: extending Prolog with tabled logic programming

Cited in

(8)

• Terminating evaluation of logic programs with finite three-valued models
• Non-termination Analysis of Logic Programs Using Types
• Non-termination analysis of logic programs with integer arithmetics
• Termination of logic programs: the never-ending story
• Checking termination of bottom-up evaluation of logic programs with function symbols
• A new approach to non-termination analysis of logic programs
• Non-termination Checking for Imperative Programs
• Static Analysis

Describes a project that uses

Uses Software

• YAP-Prolog
• Terminyzer
• XSB
• HiLog

This page was built for publication: A practical analysis of non-termination in large logic programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5398306)