Significado dos indicadores do modo de instanciação em argumentos de predicados do Prolog

Complexidade dos predicados do ISO Prolog

Existem garantias para os limites superiores na complexidade de tempo dos predicados padrão do Prolog? Por exemplo: é certo quesort(+List, ?SortedList) é executado no tempo O (nlog (n)) (n sendo o comprimento deList) em qualquer sistema Prolog ...

Uma descrição de linguagem Prolog pesquisável on-line [fechada]

Testes de tipo mais seguro no Prolog

O ISO-Prolog (ISO / IEC 13211-1: 1995, incluindo Cor.1: 2007, Cor.2: 2012) ofereceOs seguintes [http://www.complang.tuwien.ac.at/ulrich/iso-prolog/prologue#status_quo] predicados internos para testar o tipo de um termo: 8.3 Teste de tipo1 var / ...

Qual é a diferença entre 'e "no Prolog?

Sou novo no Prolog e notei que 'e "dão um comportamento diferente, mas estou curioso para saber o porquê. Especificamente, ao carregar um arquivo,?- ['test1.pl']. funciona, enquanto?- ["test1.pl"]. não.

Quais significados de "tipo" são usados no padrão?

Na parte um do padrão ISO para Prolog, ISO / IEC 13211-1: 1995, a noção de "tipo" é usada para se referir a coisas diferentes. Isso geralmente leva à confusão. Por exemplo, uma página chamada IsoErrata (versão ...

Prólogo: as cláusulas não estão juntas no arquivo de origem

Eu tenho este pedaço de código:

Expansão do DCG: A firmeza é ignorada?

Suponha que eu tenha a seguinte regra do DCG:

Reorganizando nomes de variáveis

Como escrever de maneira padrãoavs_term_rearranged(AVs, T, AVsR) com dadoAVs eT de tal modo queAVsR é uma permutação deAVs com os elementos organizados na mesma ordem em que suas variáveis ocorrem na ordem da esquerda para a direita emT. AVs é ...

Ocorrência variável em uma lista de variáveis

Considere um predicado (meta-lógico)var_in_vars(Var, Vars) que pega uma variávelVar e uma lista de variáveisVars e consegue seVar ocorre emVars. Portanto, não precisamos garantir queVar é uma variável, nem queVars é uma lista de variáveis. Qual ...