Describir: Programové riešenie rýchleho inferenčného mechanizmu znalostného systému pre riadenie v reálnom čase :