Describe how a multipleprocessor machine could be used to im

Describe how a multiple-processor machine could be used to implement resolution. Could Prolog, as currently defined, use this method?

Solution

Answer:

==> On a single processor machine, the resolution process takes place on the rule base, one rule at a time, starting with the first rule, and progressing toward the last until a match is found.

==> Because the process on each rule is independent of the process on the other rules, separate processors could concurrently operate on separate rules.

==> When any of the processors finds a match, all resolution processing could terminate.