Resultados da pesquisa a pedido "prolog"
Um gráfico DB versus um Prolog (ou miniKanren)
Recentemente, estive pesquisando bancos de dados gráficos como o Neo4j e programação lógica no Prolog e miniKanren. Pelo que aprendi até agora, ambos permitem especificar fatos e relações entre eles e também consultar o sistema resultante para ...
Predicado nth1 simples no Prolog
Com o SWI Prolog, há um predicado que localiza o enésimo item em uma lista chamada nth1. Quero implementar minha própria versão do predicado, mas os SWIs são tão complicados se você olhar para o código da listagem (nth1). Existe uma maneira mais ...
Encontre o número máximo máximo em uma lista no prólogo
Estou tentando encontrar o número máximo em uma lista. Sei que existem várias soluções disponíveis on-line, mas sinto que a melhor maneira de aprender é implementar por conta própria. Eu escrevi o seguinte código: max([X],X). max([H|T],Res):- ( ...
Correspondência de prólogo vs unificação miniKanren
Em Prolog - Programação para Inteligência Artificial, Bratko diz o seguinte na página 58. "A correspondência no Prolog corresponde ao que é chamado de unificação na lógica. No entanto, evitamos a palavra unificação porque a correspondência, ...
Aviso de “variável singleton” da Prolog
Eu sou novo no Prolog e muito confuso! Eu continuo recebendo uma "variável singleton para [WMAPDY]" aviso. Li em algum lugar que às vezes esse aviso é inútil. Também li que o programa não compilará todas as cláusulas por causa do aviso? O ...
Prologificando o Inglês para C
Nós temos uma tarefa relativamente simples que eu entendo em teoria, mas eu acho que não consigo entender a sintaxe do Prolog o suficiente para colocar isso ...
O que se entende por "pureza lógica" em Prolog?
O que se entende por "pureza lógica" (no contexto da programação Prolog)? o pureza lógica [/questions/tagged/logical-purity]as informações da tag dizem"programas usando apenas cláusulas de Horn", mas como predicados ...
Analisando números com vários dígitos no Prolog
Eu tenho o seguinte analisador de expressão simples: expr(+(T,E))-->term(T),"+",expr(E). expr(T)-->term(T). term(*(F,T))-->factor(F),"*",term(T). term(F)-->factor(F). factor(N)-->nat(N). factor(E)-->"(",expr(E),")". nat(0)-->"0". nat(1)-->"1". ...
Prolog - Lista de CharCodes para uma String ou Caracteres
Eu tenho uma lista de códigos de caracteres no prólogo.Eu gostaria de mudá-los em caracteres.Por exemplo,
Como criar um fato no SWI-Prolog?
Eu só quero criar algo como:like(x,y). Eu tenho tentado por um longo tempo e estou realmente frustrado, alguém poderia me dizer como fazê-lo ??? !!!