unification

5Ciepło

2Odpowiedz

Usuwanie wszystkich członków listy bez unifikacji w Prologu

Powiel możliwe: Prolog delete: doesn't delete all elements that unify with Element W Prologu jeśli piszesz tak: delete([(1,1),(1,2),(1,1),(3,4)],(1,_),L). wynik będzie: L = [ (1, 2), (3, 4)]. Co j

45Ciepło

4Odpowiedz

Ujednolicenie wyższego rzędu

Pracuję nad dowodem twierdzenia wyższego rzędu, którego ujednolicenie wydaje się najtrudniejszym podproblemem. Jeśli algorytm Hueta jest nadal uważany za najnowocześniejszy, czy ktoś ma jakiekolwiek l

13Ciepło

2Odpowiedz

Pozornie niepotrzebny przypadku algorytmu zjednoczeniowego w SICP

Próbuję zrozumieć algorytm jednoczenia opisany w SICP here W szczególności, w ramach procedury „Extend-jeśli-to możliwe”, nie ma wyboru (pierwsze miejsce oznaczone gwiazdką „*”), który sprawdza, czy p

28Ciepło

2Odpowiedz

Czy można uzyskać nieskończony błąd rodzaju w Haskell 98?

Wdrażam system rodzajowy dla nowego języka programowania funkcjonalnego i obecnie piszę funkcję unifikacji dwóch rodzajów. Istnieją cztery przypadki dwóch rozważenia: +---------+---------+------------

5Ciepło

1Odpowiedz

Zmienna typu instancji w Haskell

EDYCJA: Rozwiązany. Nie wiedziałem, że włączenie rozszerzenia językowego w pliku źródłowym nie umożliwiło rozszerzenia języka w GHCi. Rozwiązaniem było :set FlexibleContexts w GHCi. Niedawno odkryłem,

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

11Ciepło

1Odpowiedz

Prolog jest vs = z listami

Dlaczego to się nie udaje L is [1,2,3,4], a to działa: L = [1,2,3]? Ale obydwa działają tak samo.