Composing recursive logic programs with clausal join

DOI10.1007/BF03037138zbMath0655.68119MaRDI QIDQ1109585

Leon S. Sterling, Arun Lakhotia

Publication date: 1988

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

zbMATH Keywords

program transformationlogic programmingspecificationPrologprogram compositionmeta-programmingunfold/fold transformations

Mathematics Subject Classification ID

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

Related Items (7)

IDNAF Prolog ⋮ Relating logic programs via program maps ⋮ Annotated bibliography on partial evaluation and mixed computation ⋮ Partial evaluation of metaprograms in a ``multiple worlds logic language ⋮ Unnamed Item ⋮ Transformations of CLP modules ⋮ Mixtus: An automatic partial evaluator for full Prolog

Cites Work

• A Transformation System for Developing Recursive Programs
• Unnamed Item
• Unnamed Item

This page was built for publication: Composing recursive logic programs with clausal join