How should Prolog computation Be represented for practical use?Masayuki NumaoShin'ichi Morishitaet al.1990New Generation Computing