Eliminating unwanted loops in Prolog
- 1 January 1985
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 20 (1) , 20-26
- https://doi.org/10.1145/988284.988288
Abstract
Modifications to Prolog are proposed that make it possible to express transitive and symmetrical relations and biconditionals. This is done by blocking recursion under circumstances that would lead to infinite loops.Keywords
This publication has 0 references indexed in Scilit: