Algoritmo = lógica + control
Lógica de predicados de primer orden
Un predicado representa una propiedad o relación de un determinado objeto del universo del discurso
Un predicado de primer orden es aquel que se refiere a propiedades de objetos y relaciones entre ellos rubia(sara). moreno(carlos). noviazgo(sara,carlos). primos(X,Y):-progenitor(A,X),progenitor(B,Y),hermanos(A,B).
La lógica de predicados de primer orden estudia razonamientos de tipo deductivo, exactos true/false) y basados en predicados de primer orden (“Cálculo de predicados como lenguaje de programación”, Kowalski 1974)