>The main problem is that any prolog program bigger than, say, a thousand lines of code become difficult to debug and understand. Sounds like there is a use ca

>The main problem is that any prolog program bigger than, say, a thousand lines of code become difficult to debug and understand. Sounds like there is a use case for abstraction? Category theory maybe?