Hacker News new | past | comments | ask | show | jobs | submit login

Is that not what's happening here? Except GHC has the recursive backtracking built in? The code looks a lot like the equivalent Prolog implementation.



I think you're supposed to show that you know how to do that yourself, instead of just using an existing implementation.




Consider applying for YC's Spring batch! Applications are open till Feb 11.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: