Prolog is great, but I wonder if it would be more successful as a library than as a stand-alone language? It seems like a tool you would reach for for very specific tasks in an application, rather then something you would program a whole application in.
See minikanren and The Reasoned Schemer for an embedded (into a host language) logical/relational language that does what you describe. I think there's a lot of value in learning Prolog on its own, but if I were to try and persuade an employer to use the logical/relational paradigm in a project again I'd probably use a minikanren implementation in a language they already utilize.
