Andrew Taylor High Performance Prolog Implementation 1991 University of Sydney, Basser Department of Computer Science