WC program using GNU Logic