Zmiana układu nazw zmiennych

Prolog: Klauzule nie są razem w pliku źródłowym

Znaczenie wskaźników trybu instancji w argumentach predykatów Prologu

Prolog - niezwykła składnia dla list

Znalazłem nieznany fragment składni Prologu w pracy Lee NaishaProgramowanie logiki wyższego rzędu w Prologu. Oto pierwsza próbka kodu z papieru:

Rozszerzenie DCG: czy niezłomność jest ignorowana?

Przeszukiwalny opis języka Prolog online [zamknięty]