3 ms·

Thanks for sharing, that’s very interesting! Are Lisp and/or Prolog used in a lot of projects in the public sector in Österreich? From what I’ve heard, many (mo

• triska 7y ago
  I cannot speak for the entire public sector or the BRZ. However, Lisp has already played an important role in two projects I led, and it also plays an important role in the project I mentioned which is currently ongoing. Prolog is used for example in a theorem prover for deontic logic developed by Björn Lellmann at TU Wien: http://subsell.logic.at/bprover/deonticProver/ http://subsell.logic.at/bprover/deonticProver/ In cooperation with Björn, we have used this solver to showcase the formalisation and automated application of legislation. For a prototype, Björn has formulated a few paragraphs of the Studienförderungsgesetz (a law regulating student grants) in deontic logic, and demonstrated that this theorem prover can be used to automate various decisions because they can be deduced as stringent logical consequences of existing regulations. Generally, I think that as the tasks we want to solve become more challenging and encompassing, high-level languages such as Lisp and Prolog will be increasingly needed.