Ασαφή σύνολα για Ada είναι μια βιβλιοθήκη που παρέχει υλοποιήσεις των παραγόντων εμπιστοσύνης με τις παρεμβάσεις όχι, και, ή, XOR, + και *, κλασική ασαφών συνόλων με τις παρεμβάσεις συνολοθεωρητικά και οι εργασίες της θεωρίας δυνατότητα, διαισθητικά ασαφή...