Adding equations to NU-Prolog (1991)

by Lee Naish
Venue:In Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP’91