Цахим шуудангийн бүртгэл: Язык пролог в пятом поколении ЭВМ