Resultados da pesquisa a pedido "clpfd"
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...
Generalizando a sequência de Fibonacci com o SICStus Prolog
Estou tentando encontrar uma solução para uma consulta em uma seqüência generalizada de Fibonacci (GFS). A consulta é: existe algum GFS que tenha 885 como seu 12º número? Os 2 números iniciais podem ser restritos entre 1 e 10. Eu já encontrei a ...
possível declarar uma lista ascendent
Eu posso fazer listas de números inteiros ascendentes assim: ?- findall(L,between(1,5,L),List).Sei que também posso gerar valores usando: ?- length(_,X).Mas acho que não posso usar isso em um findall, como coisas como o seguinte loop: ?- ...
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. ...
Implementação mais rápida da aritmética verbal no Prolog
Eu já fiz um trabalho generalizado aritmética verbal [http://en.wikipedia.org/wiki/Verbal_arithmetic] solucionador em Prolog, mas é muito lento. Leva apenas 8 minutos para executar a expressão simples S E N D + M O R E = M O N E Y. Alguém pode ...
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 ...
á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 ...
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 ...
Processamento de restrição de prólogo: Quadrados de embalagem
Estou tentando resolver um problema de processamento de restrição no prólogo.Eu preciso embalar 4 quadrados de 5x5,4x4,3x3 e 2x2 em uma grade de 10x10. Eles ...
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 ...