結果 : gnu prolog examples