La programación es el proceso utilizado
para idear y ordenar las acciones necesarias
para realizar un proyecto, preparar ciertas
máquinas o aparatos para que empiecen a
funcionar en el momento y en la forma
deseados o elaborar programas para su
empleo en computadoras.
La programación lógica es un
tipo de paradigmas de
programación dentro del
paradigma de programación
declarativa. La programación
lógica gira en torno al concepto
de predicado, o relación entre
elementos.
Lógica formal
Lógica informal
Lógica simbólica
Lógica matemática
La programación se basa principalmente en resolver
problemas, y una buena técnica es dividir el «gran»
problema en muchos problemas «pequeños» para
poder focalizarse en cada problema de manera más
detallada. Una buena forma de practicar esto es
trabajar con pseudocódigo
La programación lógica estudia el uso de la lógica para
el planteamiento de problemas y el control sobre las
reglas de inferencia para alcanzar la solución
automática. Se puede ver como una deducción
controlada. Lógica (programador): hechos y reglas para
representar conocimiento.