Fribourg, Laurent "Oriented equational clauses as a programming language" pp165-177

(1984) Journal of Logic Programming 1(2) Aug 1984  

Languages mentioned SLOG {1985} Logic programming