Add Prolog Implementation.