inference programming, programação por inferência

Método de programação (como no Prolog), no qual os programas geram resultados com base em inferências lógicas, a partir de um conjunto de fatos e regras. Ver também Prolog.