Lambda the Ultimate

I do a lot of modelling in OMG's MDA sense and I'm using Prolog for about 20 years now. Finally, I'm now able to earn money (!) with Prolog applications. I've built our CASSANDRA platform which is a kind of operating system in Prolog. On top of CASSANDRA (beside other applications) I developed an executable UML (xUML) environment.

Prolog, rule-based approaches, declarative languages, model-based languages, xUML