A 'Prolog without negation' interpreter in Dolphin Smalltalk.