- Prolog é uma linguagem de programação lógica simples e declarativa, homoicônica e muito dinâmica.
- A sintaxe do Prolog é fácil de entender e usar, e todos os dados são expressos como termos do Prolog e por um único elemento da linguagem chamado "cláusula".
- No Prolog, uma cláusula tem a forma
Head :- Body, significando que, se o Body é válido, então o Head também é válido.
- Prolog é uma linguagem de programação Turing-completa, e toda computação conhecida pode ser descrita por suas cláusulas.
- Como linguagem declarativa, Prolog foca em especificar o que nos interessa e em expressar o que é válido sobre a solução que queremos encontrar.
- A natureza declarativa do Prolog permite especificações muito concisas, claras e gerais.
- Prolog é uma linguagem de programação lógica, e um programa Prolog puro é composto por um conjunto de cláusulas de Horn, cuja execução pode ser vista como um caso especial de resolução.
- Prolog é uma linguagem homoicônica, e um programa Prolog também é um termo Prolog válido. Isso facilita escrever programas em Prolog que analisam, transformam e interpretam outros programas em Prolog.
- Prolog é uma linguagem muito dinâmica, na qual é fácil gerar, chamar e modificar programas.
- As características dinâmicas do Prolog o tornam ideal para escrever programas extensíveis com regras definidas pelo usuário, fornecidas por outros programadores e por usuários em geral.
- Prolog é uma linguagem extremamente versátil e, devido à sua natureza relacional, programas em Prolog são muito flexíveis e gerais.
- A versatilidade e o poder do Prolog se baseiam em mecanismos implícitos que incluem busca, unificação, indexação de argumentos e propagação de restrições.
1 comentários
Comentários no Hacker News