Representing Objects in a Logic Programming Language with Scoping Constructs (1990)

by J Hodas, D Miller
Venue:Proc. 7th Int. Conference on Logic Programming