There was an error while loading. Please reload this page. This is a Prolog program, written to test whether a given relation R on a finite set S is transitive or not ...