Michael J. Wise

1954

• Implementations of distributed Prolog
• Prolog multiprocessors