結果 : gnu prolog sample programs