Hacker News new | ask | show | jobs
by Nora23 151 days ago
Prolog's pattern matching makes this elegant. The constraint-based approach for state space pruning is clever.