Resultados da pesquisa a pedido "clpfd"
Prolog - Argumentos não são suficientemente instanciados
Estou escrevendo um pequeno programa que conta quantos elementos em uma lista não são números. Aqui está o meu código: not_number([],0). not_number([X|T],R):- not(number(X)), R1 is R+1, not_number(T,R1). not_number([_|Tail],Result):- ...
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 ...
Prolog Iniciante: Como criar valores exclusivos para cada variável em um predicado
Eu tenho um predicado de prólogo: Add( [A|B] , Answer ) :- ... ~ Add everything in the list to come up with answer ...Agora eu gostaria de implementarAddUnique que retornaria valores exclusivos para tudo na listaexcetoquando eu der a variável ...
Prolog; tenta tornar os fibonacci mais eficazes?
Essa programação lógica está realmente dando um lap dance em minhas habilidades de programação imperativas. Isso é lição de casa, então, por favor, não me mande a resposta. Isto é o que eu tenho: fibo(N,1) :- N < 2, !. fibo(N,R) :- N1 is N-1, N2 ...
Clojure core.logic CLP (FD) projetando variáveis FD
Estou trabalhando em um algoritmo ingênuo de compactação quadrada usando a biblioteca core.logic CLP (FD) do Clojure (core.logic versão 0.8.3).Os quadrados s...
PROLOG Imprime números que terminam em 7 e a soma de seus dígitos é maior que 100
Eu preciso criar um predicado que receba uma lista numérica e imprimir apenas os números que terminam em 7 e que a soma de seus dígitos seja maior que 100 Fiz os predicados para separados, mas preciso de ajuda para fazer a união dos dois ...
SWI-Prolog e restrições, biblioteca CLP (FD)
Estou brincando com restrições no prólogo (swi) usando a biblioteca clpfd. Estou tentando identificar quando um conjunto de restrições encapsula ou substitui o outro, por exemplo X <4 encapsula X <7, pois sempre que o primeiro é verdadeiro, o ...