Язык и система логического программирования