A programação lógica é uma idéia que tem sido investigada no contexto da inteligência artificial pelo menos desde o momento em que John McCarthy em 1958 propôs: "programas para manipular com sentenças instrumentais comuns apropriadas à linguagem formal (muito provavelmente uma parte do cálculo de predicado)". O programa básico formará conclusões imediatas a partir de uma lista de premissas. Essas conclusões serão tanto sentenças declarativas quanto imperativas. Quando uma sentença imperativa é deduzida, o programa toma uma ação correspondente. A lógica de programação tem como objetivo realizar funções ou esquemas lógicos por meio de parâmetros e metas. Conheça 10 excelentes opções de livros para começar a entender a lógica de programação e começar a programar.