Short note
On Van Gelder's loop detection algorithm

https://doi.org/10.1016/0743-1066(92)90051-4Get rights and content
Under an Elsevier user license
open archive

Abstract

The incorrectness of Van Gelder's algorithm for loop detection in Prolog is shown.

Cited by (0)

Partially supported by the Bulgarian Ministry of Science and Higher Education, Contract No. 56, 1990.