Metal Gear

В языке C++ имеются конструкции, аналогичные всем формальным конструкциям ЯПЗ. Однако подход, используемый в C++, в общем случае статичен, поэтому высокоуровневые знания на этапе компиляции устраняются. Например, в откомпилированном коде на языке C++ невозможно узнать имя переменной или даже получить информацию об иерархии классов, образованной с помощью наследования.
Для того чтобы извлечь максимальную выгоду из использования формальных конструкций ЯПЗ, необходимо, чтобы они были реализованы с поддержкой интроспекции (introspection), обеспечивающей динамический запрос характеристик знаний со стороны системы ИИ. В языке C++ такую поддержку можно реализовать только путем использования дополнительных переменных, в которых в явной форме хранится соответствующая информация. В этом случае использование описанных в этом разделе формальных конструкций ЯПЗ может принести ощутимую выгоду.