Detection and optimization of suspension-free logic programs

DOI10.1016/S0743-1066(96)00052-0zbMATH Open0877.68016OpenAlexW2032752290MaRDI QIDQ4339855FDOQ4339855

Authors: Saumya K. Debray, David Gudeman, Peter A. Bigot 

Publication date: 8 December 1997

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0743-1066(96)00052-0

Recommendations

• Inferring non-suspension conditions for logic programs with dynamic scheduling
• scientific article; zbMATH DE number 1956547
• scientific article; zbMATH DE number 1337858
• Some global optimizations for a PROLOG compiler

zbMATH Keywords

suspension-free logic programs

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (2)

• Title not available (Why is that?)
• Inferring non-suspension conditions for logic programs with dynamic scheduling

Uses Software

• SICStus

This page was built for publication: Detection and optimization of suspension-free logic programs

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