The MetaPRL Logical Programming Environment (2001)

by J J Hickey