Alloy

Canzone di Paul SimonIn una canzone del 1973 di Paul Simon si dice: "Il soffitto di un uomo e ilpavimento di un altro uomo". Da ciò segue che "Il pavimento di un uomo e ilsoffitto di un altro uomo?".Nel programma sono definiti:▲ Platform che definisce la classe dei solai▲ Man che definisce la classe degli uomini con due attributi ceilin, per il soffittoe floor per il pavimento come riferimenti ad oggetti di tipo PlatformQuindi una affermazione che deve essere sempre vera ovvero un fattoPaulSimon "dati due uomini, m e n, esiste almeno un uomo, n tale che n stasopra m"Quindi sono definiti tre predicati:▲ Above che verifica se il pavimento di uno e il soffitto di un altro.▲ Geometry che verifica se per un uomo pavimento e soffitto coincidano▲ NoSharing che verifica che non vi siano pavimenti o soffitti in comune pertutti gli uominiQunidi l’asserzione BelowToo che sostanzialmente pone la domanda22/5/2008 UNICAM - p. 15/45