Parlog86(ID:5210/par035)

evolution of PARLOG, in which the output mechanism was unification, as in GHC
Related languages
Parlog83 => Parlog86   Evolution of