H ? « ‹ ← → › »

Language peer sets for Robinson Unification Logic:
United Kingdom↑
United Kingdom/1969↑
Designed 1969 ↑
1960s languages ↑
Third generation↑
High Cold War↑
Genus Horn clause ↑
Horn clause↑
Context-based ↑
Data representation ↑
Horn clause/1969↑
Context-based /1969↑
Data representation/1969↑
Horn clause/United Kingdom↑
Context-based /United Kingdom↑
Data representation/United Kingdom↑

Robinson Unification Logic(ID:7793/)

alternate simple view
Country: United Kingdom
Designed 1969
Genus: Horn clause

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. (1971) Robinson, J.A. "Computational logic: The unification computation" pp63-72
          in (1971) "Machine Intelligence 6", Meltzer, Bernard and Michie, Donald (eds) Edinburgh University Press, 1971
  • Robinson, J.A. (1983) Robinson, J.A. "Logic programming - Past, present and future" New Generation Computing I (1983) pp107-124.
          in (1971) "Machine Intelligence 6", Meltzer, Bernard and Michie, Donald (eds) Edinburgh University Press, 1971
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder