I worked for a company www.quintiq.com that implemented a declarative programming language. They have a propagator that does much of what prolog does. However

I worked for a company www.quintiq.com that implemented a declarative programming language. They have a propagator that does much of what prolog does. However the syntax is more imperative. Very interesting.