Hanus, Michael "Compiling Logic Programs with Equality"

(1990)

[Proceedings] (1990) 2nd International Workshop on Programming Language Implementation and Logic Programming (PLILP'90), Springer LNCS 456, 1990  

Languages mentioned