Resultados da pesquisa a pedido "prolog"
Subconjuntos no Prolog
Estou procurando um predicado que funciona assim: ?- subset([1,2,3], X). X = [] ; X = [1] ; X = [2] ; X = [3] ; X = [1, 2] ; X = [1, 2, 3] ; X = [2, 3] ; ...Eu já vi algunssubset implementações, mas todas funcionam quando você deseja verificar ...
Predicado de prólogo com número variável de argumentos [fechado]
Estou escrevendo um Sudoku-Solver com o PROLOG. Quero que o solucionador trabalhe com todos os tamanhos possíveis do Sudokus; portanto, naturalmente, preciso construir predicados que tenham um número variável de argumentos. (Por exemplo, para ...
Prolog: "findall" para um número limitado de soluções
Digamos que eu queira encontrar a soma de todas as soluções para um predicado, eu apenas posso usar findall(L, find(L), Sols),e somar membros dos Sols. Mas e se find (L) tiver um grande número (infinitamente, talvez) de soluções, e eu só quiser ...
Verifique se a variável está vazia ou preenchida
Eu tenho o seguinte problema: prólogo prog: man(thomas, 2010). man(leon, 2011). man(thomas, 2012). man(Man) :- once(man(Man, _).problema: ?- man(thomas). true ; %i want only on true even if there are more "thomas" *working because of once()* ...
Pesquisa Prolog / 3
Digamos que eu tenha um predicado pred contendo vários fatos. pred(a, b, c). pred(a, d, f). pred(x, y, z).Posso usar o findall / 3 para obter uma lista de todos os fatos que podem corresponder aos padrões? por exemplo, se eu tiver pred(a, _, ...
solução eficiente tour do cavaleiro
Eu construí um código no prólogo para encontrar uma série de movimentos legais nos quais o cavaleiro pousa em cada quadrado do tabuleiro de xadrez (8x8) exatamente uma vez. Eu usei uma lógica como abaixo: Existem 8 tipos de movimentos de ...
Learning Prolog: resolvendo um esquema de palavras cruzadas
eu estou tentando aprenderProlog seguindo os tutoriais emesta [http://www.learnprolognow.org/lpnpage.php?pagetype=html&pageid=lpn-htmlse7]site e não consigo encontrar uma solução para um exercício (e não há solução no site). Aqui está o que eu ...
Reorganizando nomes de variáveis
Como escrever de maneira padrãoavs_term_rearranged(AVs, T, AVsR) com dadoAVs eT de tal modo queAVsR é uma permutação deAVs com os elementos organizados na mesma ordem em que suas variáveis ocorrem na ordem da esquerda para a direita emT. AVs é ...
Prolog removendo apenas elementos exclusivos
Quero retornar uma lista que remove todos os elementos exclusivos, por exemplo remUniqueVals([1,1,2,2,3,4,4,5,6,6,6],Q). Q = [1,1,2,2,4,4,6,6,6].Meu problema é que atualmente tenho um código que retorna remUniqueVals([1,1,2,2,3,4,4,5,6,6,6],Q). ...
Reunindo todas as soluções sem encontrar
Portanto, como parte do meu trabalho, meu código precisa imprimir todas as soluções em uma consulta, mas sem usar o métodofindall/3 predicado. Fiz algumas leituras e existem maneiras de adicionar as soluções a uma lista e assim por diante. Eu ...