Free software programmed in Prolog