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

Como representar grafos cíclicos direcionados em Prolog com acesso direto a verticies vizinhas

if else if else cláusula no prólogo similar a C / C ++

A notação do sucessor do Prolog produz um resultado incompleto e um loop infinito

Eu começo a aprender Prolog e primeiro aprendi sobre a notação sucessora.E é aqui que descubro a escrita dos axiomas de Peano no Prolog.Veja a página 12 doPDF:

Usando o SWI-Prolog Interativamente - Saída Retirada

Estou usando o SWI-Prolog interativamente. Quando executo minha consulta, recebo um prefixo da saída e o resto é retirado (marcado usando a string

Vetores de argumento de linha de comando no Prolog?

Lista de predicados no Prolog

Como obter os 2 últimos valores de uma lista em recursão e em recursão de cauda?

Eu preciso de um predicado

Explicação de um algoritmo Prolog para anexar duas listas juntas

Este é um algoritmo para juntar duas listas:

como visitar cada ponto no grafo direcionado