Resultados da pesquisa a pedido "meta-predicate"
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 = ...
Prolog GNU - Operador Univ? Explicação disso
Então, o operador univ. Eu não entendo exatamente isso. Por exemplo, isto: foo(PredList,[H|_]) :- bar(PredList,H). foo(PredList,[_|T]) :- foo(PredList,T),!. bar([H|_],Item) :- G =.. [H,Item],G. bar([_|T],Item) :- bar(T,Item).O que isso está ...
Prolog: filtrando uma lista?
Atualmente, estou trabalhando em um projeto muito curto no Prolog, e fiquei preso tentando aplicar um "filtro" que criei em uma lista. Eu tenho o que você poderia chamar de filtro pronto, mas não posso aplicá-lo. Seria melhor se ...
Por que usamos '!' em prólogo
Este é o código que estou tentando entender. co(X) :- co(X,[],L). co([],A,A):- write(A). co([X|Xs], A, L) :- p(X-Z,A,R), !, Z1 is Z+1, co(Xs, [X-Z1|R], L). co([X|Xs], A, L) :- co(Xs, [X-1|A], L). p(X-Y,[X-Y|R],R):- !. p(X,[H|Y], [H|Z]) :- ...
Confiando na ordem de regra
Para calcular a distância hamming entre duas listas do mesmo tamanho, eu uso
A restrição de ordem superior mais geral que descreve uma sequência de números inteiros ordenados em relação a uma relação
No CLP (FD), frequentemente precisamos declarar: "Esta é uma lista de números inteiros e variáveis de domínio finito em (às vezes:estritamente) ordem crescente / decrescente ". Existe algum sistema CLP (FD) que forneça uma restrição interna ...