Perguntas com a marcação «prolog»


2
Uso de metas redundantes em consultas
(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.

1
Comportamento inesperado de congelado / 2
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: …
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.