Notacja następcy Prologu daje niekompletny wynik i nieskończoną pętlę

Zaczynam uczyć się Prologu i najpierw dowiedziałem się o notacji następcy.I tu właśnie dowiaduję się o pisaniu aksjomatów Peano w Prologu.Patrz strona 12PDF:

Prolog - Jak napisać wszystkie odpowiedzi prologu do pliku .txt?

Prolog - Parsowanie

Jestem nowym użytkownikiem prologu językowego i otrzymałem zadanie dotyczące parsowania w prologu. Potrzebuję pomocy w rozwiązaniu problemu.W przypisaniu mam...

AVL Binary Heap (test Balanace)

Próbuję przeprowadzić testowanie, jeśli drzewem jest drzewo AVL lub nie używamy prologu.Zrobiłem test wysokości, który działa dla testów, które do tej pory z...

Prolog- tłumaczenie angielskiego na C

Prolog Operator =: =

W Prologu są pewne specjalne operatory, jednym z nich jest „jest”, jednak ostatnio natknąłem się na operatory =: = i nie mam pojęcia, jak to dział Czy ktoś może wyjaśnić, co robi operator, a także gdzie mogę znaleźć predefiniowaną listę takich ...

kwalifikator egzystencjalny w prologu, używając setof / bagof

Szybko zadałem pytanie. kwalifikator egzystencjalny wykorzystujący setof w prologu (tj. ^).przy użyciu SICStus wydaje się, że (pomimo tego, jak wiele stron t...

Rozumowanie strumieniowe / Reaktywne programowanie w prologu?

Jak uzyskać 2 ostatnie wartości z listy w rekurencji i rekursji ogonowej?

Szukanie zapytania, dla którego program prologowy daje błędny wynik

Ten program Prolog określa trzeci argument jako maksymalną wartość pierwszych dwóch argumentów liczbowych: