Logic programming appears in the European Commission's eGovernment Benchmark 2023

[triska]

Dear all,

the European Commission has recently published the eGovernment Benchmark 2023, available from:

https://digital-strategy.ec.europa.eu/en/library/egovernment-benchmark-2023

In the Background Report available from this page, logic programming makes an appearance on page 84! To the best of my knowledge, this is the first occurrence of logic programming in such reports.

Please see the screenshot below! This is the use case that is also mentioned in Scryer Prolog's README. I hope it inspires other countries to also use Prolog for reasoning tasks that arise in their governments and administrations.

Note also the mentioning of standardized technologies as one of the key success factors. Conformance to standards is of great importance in such environments to simplify interoperability, warranty considerations and procurement.

Enjoy!

All the best,
Markus