prologで前向き推論は出来るの?