prolog can produce prototypes for virtually any application program