Robinson Unification Logic(ID:7793/)

Unification logic formalism for programming in logic that led to the Horn clause structure in Prolog
Related languages
Robinson Unification Logic => DCG   Generalisation of
Robinson Unification Logic => Logical Objects   Based on
Robinson Unification Logic => Prolog   Incorporated some features of
References:
  • Robinson, J.A. "Computational logic: The unification computation" pp63-72 view details
          in "Machine Intelligence 6", Meltzer, Bernard and Michie, Donald (eds) Edinburgh University Press, 1971 view details
  • Robinson, J.A. "Logic programming - Past, present and future" New Generation Computing I (1983) pp107-124. view details
          in "Machine Intelligence 6", Meltzer, Bernard and Michie, Donald (eds) Edinburgh University Press, 1971 view details