Invia SMS: Teorija deduktivnych sistem i jeje primenenija