Difference-list transformation for Prolog

DOI10.1007/BF03037156zbMATH Open0774.68027OpenAlexW2032672695WikidataQ57665087 ScholiaQ57665087MaRDI QIDQ685124FDOQ685124

Authors: Kim Marriott, Harald Søndergaard 

Publication date: 30 September 1993

Published in: New Generation Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf03037156

Recommendations

• scientific article; zbMATH DE number 1696440
• scientific article; zbMATH DE number 2084336
• The list introduction strategy for the derivation of logic programs
• Compiling associativity into logic programs
• Transformations of logic programs with goals as arguments

zbMATH Keywords

program optimizationprogram analysislogic programs

Mathematics Subject Classification ID

Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (6)

• Title not available (Why is that?)
• Rotations in the plane and Prolog
• VeriFly: On-the-fly Assertion Checking via Incrementality
• Prolog program transformations and tree manipulation algorithms
• Title not available (Why is that?)
• The list introduction strategy for the derivation of logic programs

This page was built for publication: Difference-list transformation for Prolog

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