Форма префиксная, нормальная — формула атомарная — выражение вида Н(t1, t2,…, tm), где Н — m-местный предикат, ti — термы.
[Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов. М.: Радио и связь, 1992. — 256 с.]