ИСТИНА

Прообразы программ представляют собой объекты с «хорошими» свойствами, прежде всего комбинационными, из которых легко получать эффективные программы при помощи так называемых компетентных баз знаний. Последние определяются и строятся как эффективные средства автоматического логического вывода последовательности операторов программы, эффективно решающих задачи из заранее определенного класса на заданном множестве программно-аппаратных платформ. Вопросы корректности и безопасности сгенерированного программного кода решаются, в этом случае, преимущественно на уровне компетентной базы знаний при помощи прямых математических методов.