Describir: Extensions of Deductive Concept in Logic Programming and Some Applications