ПРИЛОЖЕНИЕ F. СИСТЕМА МПРОЛОГ[19]