結果 : basic logical programming questions