Robinson, J.A. "Logic programming - Past, present and future" New Generation Computing I (1983) pp107-124.

Languages mentioned

• Robinson Unification Logic {1969}