Now showing items 1-1 of 1

  • The design of an optimistic AND-parallel Prolog

    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 ...

Ian Olthof has 1 co-authors in Research Commons.