fuzzy-prolog on Mac OS X ?