Invia SMS: Teorija deduktivnych sistem i jego primenenija