The following pages link to Transformations of logic programs (Q5930885):
Displaying 18 items.
- Grammar-related transformations of logic programs (Q756406) (← links)
- A transformational characterization of if-then-else (Q913480) (← links)
- On the transformation of logic programs with instantiation based computation rules (Q1119029) (← links)
- Transformation of logic programs to FP programs based on dataflows (Q1338343) (← links)
- Relating logic programs via program maps (Q1353915) (← links)
- Translations and similarity-based logic programming (Q1606792) (← links)
- Translation of logic programs into functional fixpoint equations (Q1823723) (← links)
- On the efficiency of transforming database logic programs (Q1900919) (← links)
- Recursive definitions of tabular transformations (Q1995374) (← links)
- Thompson transformations for IF-logic (Q2500828) (← links)
- A Kripke logical relation for effect-based program transformations (Q2629855) (← links)
- A Model Transformation Language Based on Logic Programming (Q2927661) (← links)
- (Q4804324) (← links)
- (Q4808806) (← links)
- (Q4896256) (← links)
- Building PMCFG Parsers as Datalog Program Transformations (Q4981264) (← links)
- (Q5146180) (← links)
- Transformations of logic programs (Q6483351) (← links)
