Invia SMS: The Logical Basic for Computer Programming. Volume 2:Deductive Systeme /