Hacker News new | ask | show | jobs
by capitanazo77 506 days ago
FYI, composer 2 (the official PHP package manager) uses prolog to figure out if a package can be installed or not.

When it’s not possible, you get a detailed explanation why it’s not possible
1 comments
qu1j0t3 505 days ago
It uses a SAT solver, not Prolog. https://news.ycombinator.com/item?id=17686801
link