add Prolog utilities