On other non-standard fields (like functional languages) there is a huge variety in implementations. Why is Prolog still the only major example of a logic programming language?
Ask HN: Why are there so few logic programming languages like Prolog?