Handling equality in logic programming via basic folding
| Author(s) : | Andrei Voronkov Anatoli Degtyarev, |
| Publisher : | N/A |
| Publication Date : | 1995 |
| ISSN : | N/A |
| Abstract : | We introduce a new approach to handling equality in logic programs. The method is based on the transformation of equational logic programs into logic programs without equality using basic superposition and basic folding. We prove soundness, completeness and the existence of terminating strategies. The advantages of the method are demonstrated on examples. An implementation is brie y discussed. 1., |