Resultados da pesquisa a pedido "prolog"
Integrando Prolog com C # [closed]
Alguém sabe de um bom (e de preferência livre) maneira de integrar Prolog e C #?Eu estou olhando para criar uma dll do Prolog ou similar para chamar do meu c...
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 ??? !!!
Loops de prólogo e declarações condicionais?
Existe algo no Prolog que funcione como um loop for e, em seguida, condição?
mini-kanren qual é a diferença entre cond-a cond-u e cond-e?
Eu tentei usar uma implementação de mini-kanren no clojure. Mas estamos lutando para entender a diferença entre cond-a cond-u e cond-e. Parece-me bastante claro sobre cond-e, mas a compreensão de cond-a e cond-u é muito ruim. cond-e pega um ...
Prolog, encontre o mínimo em uma lista
em resumo: como encontrar o valor mínimo em uma lista? (obrigado pelo conselho kaarel) longa história: Criei um gráfico ponderado no amzi prolog e, após 2 nós, sou capaz de recuperar uma lista de caminhos. No entanto, preciso encontrar o valor ...
Você pode escrever entre / 3 em puro prólogo?
Eu tenho tentado entender como produzir uma série de valores a partir de um predicado Prolog no retrocesso. O predicado embutido
Como evitar o uso de assert e retractall no Prolog para implementar variáveis globais (ou de estado)
Muitas vezes acabo escrevendo código no Prolog que envolve algum cálculo aritmético (ou informações de estado importantes em todo o programa), primeiro obtendo o valor armazenado em um predicado, depois recalculando o valor e finalmente ...
Que utilidade tem if_ / 3?
O predicadoif_/3 [https://stackoverflow.com/questions/27358456/prolog-union-for-a-u-b-u-c/27358600#27358600] parece serbastante popular [https://stackoverflow.com/search?q=%5Bprolog%5D+if_] entre os poucos colaboradores principais na parte Prolog ...
Localizando itens exclusivos em uma lista
Estou tentando escrever uma regra que decida se um itemX ocorre exatamente um em uma listaL. unique(X, [X|T]):- !, \+ member(X, T). unique(X, [_|T]):- unique(X, T).A regra funciona para determinar se um valor é único em uma lista ou não, mas ...