Enriching Prolog with S-Unification

Andreas Kågedal, Feliks Kluzniak. Enriching Prolog with S-Unification. In John Darlington, Roland Dietrich, editors, Declarative Programming, Sasbachwalden 1991, PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991. Workshops in Computing, pages 51-65, Springer, 1991.

Abstract

Abstract is missing.