Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

"Prolog-style solving of logical expressions" is actually called "logic programming". It's the name of the paradigm.

https://en.wikipedia.org/wiki/Logic_programming

IMO the title is fine.



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

Search: