Pytania otagowane jako prolog

2
Jakie są główne różnice techniczne między Prologiem i miniKanren w odniesieniu do programowania logicznego? [Zamknięte]
Zamknięte . To pytanie musi być bardziej skoncentrowane . Obecnie nie przyjmuje odpowiedzi. Chcesz poprawić to pytanie? Zaktualizuj pytanie, aby skupiało się tylko na jednym problemie, edytując ten post . Zamknięte 3 lata temu . Popraw to pytanie Kiedy chcę poczytać o programowaniu logicznym, zawsze napotykam dwa "główne" sposoby na …
1
Nieoczekiwane zachowanie zamrożonego / 2
Grałem około z PROLOG-coroutining orzeczników freeze/2oraz frozen/2: ?- freeze(X,a=a), frozen(X,Goal). ?- freeze(X,a=a), freeze(Y,b=b), X=Y, frozen(X,Goal). sicstus-prolog (wersja 4.5.1 dla x86_64) dał następujące odpowiedzi: | ? - zamrożenie (X, a = a), zamrożenie (X, bramka). Cel = prolog: zamrożenie (X, użytkownik: (a = a)) , prolog: zamrożenie (X, użytkownik: (a = …
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.