Exstensions of Deductive Concept in Logic Programing and Some Applications