Pages that link to "Item:Q5286917"
From MaRDI portal
The following pages link to Basic transformation operations which preserve computed answer substitutions of logic programs (Q5286917):
Displaying 4 items.
- Unfold/fold transformations for disjunctive logic programs (Q287026) (← links)
- Transformations of CLP modules (Q671648) (← links)
- Unfolding--definition--folding, in this order, for avoiding unnecessary variables in logic programs (Q673496) (← links)
- Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding (Q5415653) (← links)
