David Gold & Associates. Модуль Контур Диадок для 1С. Hello world in prolog. Lumu demo.