Arrow's Theorem

• Simple Prolog program to prove instances of simplified theorem.
• Shell script to run program using SWIPL.
• Log file for run on my ageing 1.4 GHz Core2 Duo.

ADVISORY: Email to these sites is filtered. Unsolicited or spoof email may be automajically re-directed to the relevant postmaster. SPOOFS AND CREDIT FRAUD ARE REPORTED IMMEDITELY TO THE RELEVANT AUTHORITIES.