Department of Computer Engineering and Informatics, University of Patras, Patras, Greece. In this paper, I extend the Banerjee-Pattanaik’s and Suzumura-Xu’s results to arbitrary binary relations whose ...

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 ...