[CaptainOfCoit]

Prolog/Datalog with some nice primitives for how to interact with the program in various ways? Would essentially be something like "acceptance tests" but expressed in some logic programming language.

[dpritchett]

Cucumber-style BDD has been trying to do this for a long time now, though I never found it to be super comfortable.