Язык программирования, используемый для выражения программ с точки зрения конструкций и управления ограничены исчислении предикатов; к примеру Пролог.