Resultados da pesquisa a pedido "clpfd"
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 ...
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):- ...
Converta o número do peano s (N) em número inteiro no Prolog
Eu me deparei com essa avaliação de números naturais de números lógicos em um tutorial e está me dando dor de cabeça: natural_number(0). natural_number(s(N)) :- natural_number(N). A regra afirma aproximadamente que: seN é0 é natural, se não ...
Programa de prólogo simples. Obtendo o erro:> / 2: Os argumentos não são suficientemente instanciados
Fiz um predicado PrologposAt(List1,P,List2) que testa se o elemento na posiçãoP doList1 eList2 são iguais posAt([X|Z], 1, [Y|W]) :- X = Y. posAt([Z|X], K, [W|Y]) :- K > 1, Kr is K - 1, posAt(X, Kr, Y).Quando testar: ?- posAt([1,2,3], X, ...