Difference-list transformation for Prolog
From MaRDI portal
Publication:685124
Recommendations
Cited in
(6)- VeriFly: On-the-fly Assertion Checking via Incrementality
- The list introduction strategy for the derivation of logic programs
- scientific article; zbMATH DE number 1696440 (Why is no real title available?)
- Prolog program transformations and tree manipulation algorithms
- scientific article; zbMATH DE number 2084336 (Why is no real title available?)
- Rotations in the plane and Prolog
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)