Browsing by Author "Olthof, Ian"
Cleary, John G.; Olthof, Ian (University of Waikato, Department of Computer Science, 1993-10)A distributed AND-parallel Prolog implementation is described. The system can correctly handle all pure Prolog programs. In particular, it deals with the problem of distributed backtracking. Conflicts in variable bindings ...
Co-authors for Ian Olthof
Ian Olthof has 1 co-authors in Research Commons.