Resultados da pesquisa a pedido "prolog"
Tornar explícito o “sucesso determinístico” dos objetivos do Prolog
A questão do sucesso determinístico de algum objetivo do Prolog apareceu várias vezes - pelo menos - nas seguintes perguntas: Reificação do termo igualdade / ...
Quais são os usos do predicado de falha no Prolog?
Não posso inventar uma situação em que precisaria.
Como anexo 3 listas com eficiência no Prolog?
Eu sei como fazê-lo para 2 listas: append([],L,L). append([H|T],L,[H|R]):-append(T,L,R).mas como fazer isso por 3? Sem usar o anexo de 2 listas duas vezes.
Método de preenchimento interminável, loop infinito que retorna resposta, mas não sai
Então, estou trabalhando em algum prólogo e encontrei um problema que não entendo por que está aparecendo. O problema realmente acontece em alguns dos meus métodos, mas espero que eu possa descobrir com apenas algumas orientações neste ...
Tornar um predicado reversível
Eu sou novo em prólogo; Estou vindo de um fundo de programação estruturada, como ficará óbvio :) Estou criando uma consulta de prólogo que envolve a reversão de um número; por exemplo.reverse_num(123,X) resulta emX = 321. Eu vim com a seguinte ...
Como verificar quais itens da lista atendem a determinadas condições?
Como criar uma função chamada busLineLonger, que recebe pelo menos dois parâmetros para decidir se uma linha de barramento é mais longa ou não? */This is how it works*/ * busStops(number_of_the_bus,number_of_stops)*/ ...
Mais determinismo para `memberd / 2`?
Muitos sistemas fornecem uma implementação pura e eficiente demember/2. Em particular, nenhum ponto de escolha é deixado em aberto para: ?- member(b,[a,b]). true.Considerando que uma aplicação ingénua demember/2 produz sim: ?- member(b,[a,b]). ...
Procedimento indefinido de erro no Prolog
Eu escrevi uma regra: parent(georgie,jessy) :- child(jessy,georgio).mas quando eu quero provar ?- parent(georgie,jessy).Eu recebo um erro: parent/2: Undefined procedure: child/2Por favor ajude. Obrigado.
congelar / 2 objetivos bloqueando variáveis que se tornaram inacessíveis
Fiz o pequeno programa a seguir para determinar se a memória usada para objetivos comofreeze(X,Goal) [https://sicstus.sics.se/sicstus/docs/latest4/html/sicstus.html/mpg_002dref_002dfreeze.html] é recuperado quandoX torna-se inacessível: %:- ...
prolog - Erro 1, pilha de retorno cheia
estou tentando escrever um programa em prólogo que determine se existe uma maneira de um lugar para outro. estas são as relações: road(ny,florida). road(washington,florida). road(washington,texas). road(vegas,california).Eu quero ...