Data.Logic.Harrison.Prolog