Prolog Implementation

High performance Prolog