Adding equations to NU-Prolog (1991)

by L Naish
Venue:In Proc. of the 3rd Int. Symposium on Programming Language Implementation and Logic Programming