System Description: Teyjus - A Compiler and Abstract Machine Based Implementation of lambda-Prolog. - Gopalan Nadathur; Dustin J. Mitchell (CADE, 1999)