Resultados da pesquisa a pedido "prolog"
Prolog possível remoção de elementos em uma lista
Foi-me pedido que tentasse procurar todos os resultados possíveis, removendo qualquer número de qualquer elemento único de uma lista. Por exemplo, se eu tiver uma lista X = [1,2,3] remove(X, Y)Meu resultado será: Y = [2,3] Y = [1,1,3] Y = ...
Prolog, X antes de Y em uma lista
Estou tendo problemas para entender o prólogo, preciso descobrir se X está antes de Y em uma lista. então eu tenho um caso base com uma lista vazia before(X, Y, [ ]).Agora eu sei que quero verificar o índice de X e o índice de Y na Lista e ...
Prolog procurar uma combinação possível para subtrair 2 elementos de uma lista
Este é um problema estendido desta página.Prolog possível remoção de elementos em uma lista [https://stackoverflow.com/questions/33652059/prolog-possible-removal-of-elements-in-a-list/33652274?noredirect=1#comment55118895_33652274] Por exemplo, ...
Correspondência de prólogo vs unificação miniKanren
Em Prolog - Programação para Inteligência Artificial, Bratko diz o seguinte na página 58. "A correspondência no Prolog corresponde ao que é chamado de unificação na lógica. No entanto, evitamos a palavra unificação porque a correspondência, ...
Por que o SWI-Prolog apenas me fornece a primeira resposta?
Eu sou novo no Prolog. Estou apenas tentando exemplos simples para aprender. eu tenho isto.pl arquivo com estas linhas: parent(pam,bob). parent(tom,bob). parent(tom,lio). parent(bob,ann). parent(bob,pat). parent(pat,jim).Após consulta e teste, ...
funcionalidade make / 0 para SICStus
Como posso garantir que todos os módulos (e, idealmente, também todos os outros arquivos que foram carregados ou incluídos) estejam atualizados? Ao emitiruse_module(mymodule), O SICStus compara a data de modificação do arquivomymodule.pl e ...
SWI Prolog - Simplificando expressões
Quero escrever um procedimento simplify (E, E1) que seja capaz de simplificar expressões. Eu tenho apenas uma operação + e operandos simbólicos e numéricos. Exemplos deste procedimento: simplify(a + 1 + b + 5, E) ------> E = a + b + 6 simplify(1 ...
Exibir os tempos de execução para cada objetivo de uma cláusula de predicado
Eu quero ver o tempo de execução dentro dos objetivos do predicado comSICStus Prolog. Exemplo: pred :- goal1, time, goal2, time. go :- call(pred). time_go :- go, times(go). Resultado esperado: ?- time_go. times_go = 1000ms , times_go_goal1 = ...
Iniciante no PROLOG [fechado]
Que livro você recomendaria para iniciantes no PROLOG? Atualmente conheço Perl.
Prolog - Localizando elementos adjacentes em uma lista
Eu estou tentando definir um predicadoadjacent(X, Y, Zs) isso é verdade se X e Y são adjacentes em uma lista. Meu código atualmente é este: adjacent(_, _, []). adjacent(X, Y, [X, Y|Tail]) :- adjacent(X,Y, Tail).Funciona para o caso básico ...