Resultados da pesquisa a pedido "prolog"
Simple Prolog excluir da lista
(Esta NÃO é uma pergunta do curso. Apenas meu aprendizado pessoal.) Estou tentando fazer um exercício no Prolog para excluir elementos de uma lista. Aqui está o meu código: deleteall([],X,[]). deleteall([H|T],X,Result) :- H==X, ...
Procedimento de mapa de prólogo que aplica predicado aos elementos da lista
Como você escreve um procedimento Prologmap(List, PredName, Result) que aplica o predicadoPredName(Arg, Res) para os elementos deList e retorna o resultado na listaResult? Por exemplo test(N,R) :- R is N*N. ?- map([3,5,-2], test, L). L = ...
Lista de preenchimentos no SWI-Prolog
Estou tentando preencher uma lista de determinado comprimento N com os números 1,2,3, ..., N. Eu pensei que isso poderia ser feito desta maneira: create_list(N,L) :- length(L,N), forall(between(1,N,X), nth1(X,L,X)). No entanto, isso parece não ...
Como criar uma lista de números que somam um número específico
Preciso de ajuda para escrever um predicado no Prolog que, dado um número como entrada, retorne uma lista de listas com os números correspondente Vamos chamar o predicado addUpList / 2, deve funcionar assim: ?- addUpList(3,P). P = [[1,2], ...
Como é simultâneo o Prolog?
Não consigo encontrar nenhuma informação sobre este online ... Também sou novo no Prolog ... Parece-me que o Prolog pode ser altamente simultâneo, talvez tentando muitas possibilidades ao mesmo tempo ao tentar corresponder a uma regra. Os ...
amadas de compatibilidade @Prolog - bibliotecas de programação disponíveis
Há uma falta de alguns predicados nas implementações de um Prolog, disponíveis em outro Podemos implementar falta de predicados, vamos chamar isso de "Camada de compatibilidade de prólogo" Você conhece "Camadas de compatibilidade do Prolog" ...
Prolog: como fazer "check (a ++ b ++ c ++ d é igual a d ++ a ++ c ++ b) -> yes"
Vamos definir operadores personalizados - seja ele++,equals :- op(900, yfx, equals). :- op(800, xfy, ++).E fato: check(A equals A).Eu tento fazer predicado, que sejacheck/1, que retornará verdadeiro em todas as seguintes situações: check( a ...
prolog para conversor de SQL
Sem pensar muito, parece-me que um grande conjunto de funcionalidades do Prolog poderia ser implementado como cálculo relacional (também conhecido como SQL lguém já ouviu falar em alguma ferramenta para converter automaticamente o Prolog para SQ
Cadastre-se "Não é igual" no Visual Prolog?
Não consigo encontrar nenhuma documentação sobre o sinal "não igual" no Visual Prolog. Forneça a solução correta para este problema: class predicates sister : (string Person, string Sister) nondeterm(o,o). clauses sister(Person, Sister) :- ...
executing operation para cada elemento da lista no swi-prolog e outros
Como faço uma operação para cada elemento de uma lista, em ordem? Com base nesses dois recursos: http: ...