Παιχνίδι Αίτησης Διαβατηρίου ως Παζλ

Το παιχνίδι Passport Application της HMPO είναι δημοφιλές στην Βρετανία και λειτουργεί ως παιχνίδι συλλογής εγγράφων με βάση πολύπλοκους κανόνες.

Το παιχνίδι βασίζεται σε «Γραφειοκρατική Λογική» παρόμοια με την Συνθετική (Constructive) Λογική, όπου κάθε άτομο πρέπει να προσκομίσει πρωτότυπα έγγραφα ως «μαρτυρίες».

Οι αιτήσεις εγγράφων είναι αναδρομικές, επεκτείνονται στην οικογενειακή ιεραρχία μέχρι να βρεθεί πρόγονος με γεννητήριο πριν το 1983, οπότε υπάρχει αδιαμφισβήτητη βρετανική υπηκοότητα.

Ο συγγραφέας κωδικοποίησε τους κανόνες σε Haskell χρησιμοποιώντας το LogicT monad για να παράγει όλα τα μονοπάτια απόδειξης της υπηκοότητας και τα απαιτούμενα έγγραφα.

Υπάρχουν τρεις κύριες αποδείξεις υπηκοότητας, και η HMPO επιλέγει συνήθως την πιο σύνθετη για να προσθέσει δυσκολία στο παιχνίδι.

Παρά τις δυνατότητες αυτοματοποίησης, η HMPO αποφεύγει τέτοιο λογισμικό λόγω της πολυπλοκότητας της νομοθεσίας και του κίνδυνου λανθασμένων αποφάσεων.