3 ms·

then use this: https://en.wikipedia.org/wiki/Mercury_%28programming_language%29 https://en.wikipedia.org/wiki/Mercury_%28programming_languag... feels like lego

• pjmlp 10y ago
  I know Mercury, but your advice is about 20 years too late. :)
• rvense 10y ago
  For me Mercury is sort of an objective "best language". You can do logic programming, functional programming, and you get the same type-level expressivity as an ML. The implementation and ecosystem are quite far from something like Python, of course, but it does look like the most beautiful house in the street to me when you just walk past it.
• tom_mellior 10y ago
  > [Mercury] feels like lego where prolog is duplo. Except for things like the system described in the featured article, where the unique strength of Prolog is the ability to pass around partially instantiated data structures and use full unification. Last time I checked, Mercury still insisted that terms be ground (or completely free variables), which means that for this kind of problem you don't gain much from its flavor of logic programming :-(