A transformation tool for pure Prolog programs
| Authors | |
|---|---|
| Publication date | 1997 |
| Host editors |
|
| Book title | Logic Program Synthesis and Transformation. Proceedings of the 6th International Workshop, LOPSTR'96 |
| Series | LNCS, 1207 |
| Pages (from-to) | 130-145 |
| Publisher | Springer-Verlag |
| Organisations |
|
| Document type | Chapter |
| Permalink to this page | |