Resultados da pesquisa a pedido "clpfd"
Comportamento contra-intuitivo de min_member / 2
min_member(-Min, + Lista) [http://www.swi-prolog.org/pldoc/man?predicate=min_member/2] Verdadeiro quando Min é o menor membro na ordem padrão de termos. Falha se a Lista estiver vazia. ?- min_member(3, [1,2,X]). X = 3.A explicação é obviamente ...
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):- ...
Quero contar as ocorrências de um elemento em uma lista
Quero contar as ocorrências de um elemento em uma lista e, se houver, o predicado exclusivo será verdadeiro, e falso. No entanto, se o elemento ocorrer mais de uma vez, o Prolog considerará verdadeiro. Não sei o que fazer ... count([], X, 0). ...
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 ...
prolog converter números em algarismos romanos
Eu tenho esse código que converte números inteiros em algarismos romanos. Eu preciso adicionar uma função que compare um número inteiro com uma entrada numérica romana e mostrar se é try ou false, por exemplo: roman (v, 5). verdad toroman(0). ...
Ténis programação de partidas
Há um número limitado de jogadores e um número limitado de quadras de tênis. Em cada rodada, pode haver no máximo o número de partidas que houver quadras. Ninguém joga 2 rodadas sem interrupção. Todo mundo joga uma partida contra todo mundo. ...
álculos numéricos reversíveis no Prolog
Enquanto lia o SICP, deparei-me com o capítulo 4.4 da programação lógica. Então comecei a olhar para a linguagem de programação Prolog e tentei entender algumas tarefas simples no Prolog. Descobri que o Prolog parece ter problemas com cálculos ...