The Possibilistic Horn Non-Clausal Knowledge Bases