Predikat

Programinstruksjon som kan evalueres til sann eller feil og som kan brukes til å bestemme kontrollflyten i påfølgende beslutningslogikk.