Re:Differences Between miniKanren and Prolog
by nisa on Tuesday January 23, 2024 @01:09PM
(#39107160)
Wow 6 volumes. Added to the list. German is also fine if there is literature and I'm trying to work on my math understanding. I also found some interesting papers that solve i.e. datalog using matrices with algebraic methods. https://arxiv.org/abs/1608.00139
Guess I'll start slowly and see how far I come. Thanks!
Guess I'll start slowly and see how far I come. Thanks!