> "Logic programming is a cool idea, but not that useful for most things" would be a better explanation for why it's not popular today. It strikes me as a rathe

> "Logic programming is a cool idea, but not that useful for most things" would be a better explanation for why it's not popular today. It strikes me as a rather narrow and dogmatic AI technique; and one that you're better off reimplementing on demand (Greenspun-style), or using in a library. Particularly since confining logic programming to an embedded domain-specific language lets you keep it clean from any of pollution that was piled onto Prolog in an attempt to make it more of a general purpose language.