Prolog III Evolution of

Prolog II with extra constraints etc