21
Chcę użyć Clojure's Core.logic. Jednak chcę również zrozumieć, jak to działa. Czy gdzieś jest to zwięzłe wyjaśnienie? (Podobnie jak implementacja metacircular ewaluatora?)Zwięzłe wyjaśnienie Core.logic
Dzięki!
A
Odpowiedz
19
core.logic to implementacja miniKanren - pierwotnie napisana i zaprojektowana w Schemacie przez Dana Friedmana, Williama Byrda, Olega Kiselyova i innych. Jest to próba osadzenia programowania relacyjnego w stylu Prologu w Lisp.
Jeśli chcesz zrozumieć, jak to działa, musisz przeczytać pierwsze trzy rozdziały rozprawy Williama Byrda: https://scholarworks.iu.edu/dspace/bitstream/handle/2022/8777/Byrd_indiana_0093A_10344.pdf?sequence=1
uzasadnionej Schemer obejmuje również unifikator w szczegółach. Jednak o wiele bardziej subtelna część bramkowa miniKanren nie jest objęta kompleksowym leczeniem - musisz przyjrzeć się rozprawie Byrda.
Nawet wtedy, tak jak w przypadku tłumaczy meta-kołowych - nie można uzyskać wielu wglądów bez próby samodzielnego wdrożenia systemu w różnych językach programowania.
+3
Dodałbym: https://github.com/clojure/core.logic/wiki/A-Core.logic-Primer oraz porady dotyczące programowania w Prologu (więcej przykładów, podobne pomysły, choć mniej uniwersalne niż miniKanren). – Isaac
+0
Twój link do pracy Byrda jest zepsuty. :-( –
+0
link do pracy wydaje się znów działać. – dnolen
2
Można również zobaczyć David's talk on core.logic z Strange Loop 2012.
A dla bardzo lekkiej wprowadzeniem do tematu zobacz także: sokuza-kanren
Powiązane problemy
- 1. Zamawianie celu w Clojure `core.logic`
- 2. Wyjaśnienie "tf.gather_nd" w Tensorflow
- 3. Zwięzłe dodawanie wektorów w Pythonie?
- 4. Wyodrębnianie elementów mapy z Clojure core.logic
- 5. distincto vs. fd/distinct in core.logic
- 6. Zwięzłe wyrażenie foreach w jednej linii
- 7. Porównywanie tablic w asercji JUnit, zwięzłe wbudowane?
- 8. Wyjaśnienie NSLayoutAttribute
- 9. shutil.rmtree() wyjaśnienie
- 10. glVertexAttribPointer wyjaśnienie
- 11. Wyjaśnienie: register_shutdown_function
- 12. Wyjaśnienie ikona
- 13. Wyjaśnienie Func
- 14. Zwięzłe instrukcje instrukcji SSE i MMX z opóźnieniami i przepustowością
- 15. Pliki binarne HTTP POST za pomocą Pythona: zwięzłe przykłady nieprzypisane?
- 16. C++ zwięzłe sprawdzanie, czy element w pojemniku STL (np. Wektor)
- 17. Wyjaśnienie do Android Xfermode
- 18. Dalsze wyjaśnienie dotyczące IntentService
- 19. Wyjaśnienie działania spisu?
- 20. Wyjaśnienie witryny wywoławczej?
- 21. Podkreślenie _.reduce wyjaśnienie?
- 22. Wyjaśnienie java.sql.SQLException: Już zamknięte
- 23. Proste wyjaśnienie losowego lasu
- 24. Wyjaśnienie błędów TypeScript Linter
- 25. snprintf i sprintf wyjaśnienie
- 26. Wyjaśnienie odniesień w C++
- 27. Wyjaśnienie int? vs int
- 28. Algorytm Chaitin-Briggs wyjaśnienie
- 29. SPOJ: wyjaśnienie rozwiązania M3TILE
- 30. Groovy Zamknięcie wyjaśnienie
Dlaczego to zamknięte OT? Do OP, spójrz na https://github.com/clojure/core.logic/wiki/A-Core.logic-Primer. – drewr
brak pomysłu. głosowali na ponowne otwarcie. –
To pytanie dobrze pasuje do tego tagu. –