Англо-український словник технічних термінів
predicate variable
Предикатна змінна
Англо-український словник технічних термінів
predicate node
predict