Pages that link to "Item:Q1109585"
From MaRDI portal
The following pages link to Composing recursive logic programs with clausal join (Q1109585):
Displaying 7 items.
- Transformations of CLP modules (Q671648) (← links)
- Annotated bibliography on partial evaluation and mixed computation (Q1104069) (← links)
- Partial evaluation of metaprograms in a ``multiple worlds'' logic language (Q1108779) (← links)
- Mixtus: An automatic partial evaluator for full Prolog (Q1313369) (← links)
- IDNAF Prolog (Q1328781) (← links)
- Relating logic programs via program maps (Q1353915) (← links)
- (Q4212954) (← links)
