Prolog (Programação Lógica) é uma linguagem de programação que se enquadra no paradigma de
Programação
em Lógica Matemática. É uma linguagem de uso geral que é especialmente associada com a inteligência
artificial e linguística computacional. Consiste numa linguagem puramente lógica, que pode ser
chamada
de Prolog puro, e numa linguagem concreta, a qual acrescenta o Prolog puro com componentes
extra-lógicos.
O Prolog é uma linguagem declarativa, significando que em vez de o programa estipular a maneira de
chegar à solução, passo a passo, (como nas linguagens procedimentais ou imperativas), limita-se a
fornecer uma descrição do problema que se pretende computar. Usa uma coleção base de dados de fatos
e de
relações lógicas (regras) que exprimem o domínio relacional do problema a resolver.
Um programa pode rodar num modo interativo, a partir de consultas (queries) formuladas pelo usuário,
usando a base de dados (os 'fatos') e as regras relacionais (essencialmente implicações lógicas:
se..
então), e o mecanismo de unificação para produzir (por uma cadeia de deduções lógicas) a solução.
Feito por Microsoft Copilot
Homem magro, 25 anos, cabelo curto, com cor castanho escuro,
usa brinco na orelha, tem barba feita aparada, cor dos olhos castanhos, cílios grandes.
Feito por Microsoft Copilot
Mulher de 17 anos, cabelo liso e longo cor preta, pele morena, usa óculos formato quadrado, é linda.
