4 ms·

I would add PROMELA-SPIN a non-deterministic language for modeling and verification of systems. Plus other formal verification languages:Z or Petri nets Also S

• fogus 16y ago
  Also SQL! (although he probably knows it already...) That was my line of thinking in my reply. That's why I instead chose Datalog as the declarative choice. Much of what you can do in SQL can be done with Datalog (and vice-versa), but there are somethings that Datalog can do that SQL cannot.
• ebiester 16y ago
  People who think they know SQL often don't know SQL.