Expansão do DCG: A firmeza é ignorada?

Suponha que eu tenha a seguinte regra do DCG:

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 ...

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]

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

Eu tenho este pedaço de código:

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

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.

Prolog - sintaxe incomum para listas

Eu me deparei com um pouco desconhecido da sintaxe do Prolog no artigo de Lee NaishProgramação lógica de ordem superior no Prolog. Aqui está a primeira amost...

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 é ...