A Partial Breadth-First Execution Model for Prolog.

Jordi Tubella, Antonio Gonzlez

Browse the full ICTAI paper archive.