The variable _ represents an nameless variable; each occasion of _ in a very clause is treated to be a contemporary variable. We implement the prerequisite that each variable in a very clause must be bound. A variable X is certain if no less than certainly one of the next situations retains:The set of info is called the extensional databases or EDB