Perguntas com a marcação «prolog»

Fechado . Esta questão precisa ser mais focada . No momento, não está aceitando respostas. Deseja melhorar esta pergunta? Atualize a pergunta para que ela se concentre apenas em um problema editando esta postagem . Fechado há 3 anos . Melhore esta pergunta Quando eu quero ler sobre programação lógica, …

123 prolog  logic-programming  minikanren 

(Por sugestão de @repeat ) Considere uma consulta de um programa puro 1 ?- G_0. Que utilidade teria a consulta ?- G_0, G_0.? Notas de rodapé 1 Sem tabelas (por segurança), as restrições são aceitáveis. Post anterior sobre o assunto.

12 prolog  logical-purity 

Eu estava brincando com os predicados de pró-roteirizaçãofreeze/2 e frozen/2: ?- freeze(X,a=a), frozen(X,Goal). ?- freeze(X,a=a), freeze(Y,b=b), X=Y, frozen(X,Goal). O sicstus-prolog (versão 4.5.1 para x86_64) deu as seguintes respostas: | ? - congelar (X, a = a), congelado (X, meta). Objetivo = prólogo: congelar (X, usuário: (a = a)) , prólogo: …

11 prolog  sicstus-prolog  prolog-coroutining