KSI Prolog (Institut po techničeska kibernetika i robotika - BAN, 1986)