Turbo Prolog , applications — Carl Townsend