5 ms·

Prolog seems like a good fit for that. Any PhD student wants to publish a paper on a Prolog translation of the TPP? :-)

• arethuza 11y ago
  Here is a paper describing a "port" of the UK Nationality Act to Prolog: http://opim.wharton.upenn.edu/~sok/papers/s/p370-sergot.pdf http://opim.wharton.upenn.edu/~sok/papers/s/p370-sergot.pdf
  • mbrock 11y ago
    That's exactly what I was fishing for. Thanks.
    • arethuza 11y ago
      My wife is a commercial litigation lawyer and I've always wondered about the similarities between legislation, contracts and code.
      • mbrock 11y ago
        Cool. Do you know about the paper on "composable contracts" that defines financial contracts (derivatives, etc) in terms of functional combinators? It's pretty cool. They're able to define automatic Black-Scholes valuations for complex derivatives, and stuff. http://research.microsoft.com/en-us/um/people/simonpj/Papers/financial-contracts/contracts-icfp.htm http://research.microsoft.com/en-us/um/people/simonpj/Papers...