iso-prolog

5Ciepło

2Odpowiedz

Czy nieskończona lista osób zdrowych psychicznie?

W Prologu, czy zjednoczenie jest dobrym sposobem na uzyskanie nieskończonej listy? SWI-Prolog nie ma z tym żadnego problemu, ale GNU Prolog po prostu się zawiesza. wiem, że w większości przypadków móg

10Ciepło

2Odpowiedz

Dostępny do przeszukiwania opis języka Prolog online

Czy istnieje opis języka Prolog (składni i semantyki) dostępny online? Istnieje wiele podręczników referencyjnych dla implementacji. Ale żaden z nich nie jest opisem języka. Na przykład SWI Prolog ins

9Ciepło

3Odpowiedz

Co [a | b | c] ocenia w SWI-Prolog?

Operator rur w prologu zwraca jedną lub więcej głowic atomowych i listę ogonów. ?- [a,b,c] = [a,b|[c]]. true. lęgowe wielu rur w jednym meczu można zrobić podobny do tego: ?- [a,b,c] = [a|[b|[c]]].

5Ciepło

2Odpowiedz

Dlaczego SWI-Prolog ujednolica cytowany i niecytowany ciąg (bez spacji) do tej samej reguły?

Przyjmijmy, mam następujące zasady: unify('test', 'this is a test'). run :- write('Enter something: '), read(X), unify(X, Y), write('The answer is '), write(Y). I wtedy go uruchom

5Ciepło

1Odpowiedz

Testowanie predykatu "Rzędu bezpiecznego"

W ostatnim pytaniu (How to define (and name) the corresponding safe term comparison predicates in ISO Prolog?) @false poprosił o implementację terminu zamawiania predykatu lt/2, wariant ISO wbudowaneg

17Ciepło

2Odpowiedz

Związek dwóch zmiennych zbiorów

Biorąc pod uwagę dwie listy zmiennych, jaki jest najbardziej kompaktowy i kanoniczny sposób w ISO Prolog, aby określić związek obu? Oznacza to, że chcemy definicję dla (meta-logiczna) predykatów varse

8Ciepło

2Odpowiedz

Uzasadnione zastosowania (\ +) // 1

w regułach gramatycznych (dcg), istnieje kilka predefiniowanych konstrukty: (',')//2 sens konkatenacji, ('|')//2 czyli naprzemienne itd. Jeden konstrukt, który jest obsługiwany przez kilku, lecz nie w

18Ciepło

2Odpowiedz

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

Mam ten fragment kodu: % Family tree female(pen). male(tom). male(bob). female(liz). female(pat). female(ann). male(jim). parent(pam, bob). parent(tom, bob). parent(tom, liz). parent(bob,

7Ciepło

1Odpowiedz

Terminy hilogowe w (XSB) Prolog

Czy terminy Hilog (tj. Związki o dowolnych terminach funktorów) są nadal uważane za potężną cechę w XSB Prolog (lub jakimkolwiek innym Prologu)? Czy jest wiele projektów XSB obecnie korzystających z t

27Ciepło

3Odpowiedz

Prolog - nietypowa składnia wierszy dla list

Natknąłem się na nieznaną nieco składnię Prologa w pracy Lee Naisha: Higher-order logic programming in Prolog. Oto pierwsza próbka kodu z papieru: % insertion sort (simple version) isort([], []). is