We describe the methods and technologies underlying the application Grants4Companies. The application uses a logic-based expert system to display a list of business grants suitable for the logged-in business. To evaluate suitability of the grants, formal representations of their conditions are evaluated against properties of the business, taken from the registers of the Austrian public administration. The logical language for the representations of the grant conditions is based on S-expressions. We further describe a Proof of Concept implementation of reasoning over the formalised grant conditions. The proof of concept is implemented in Common Lisp and interfaces with a reasoning engine implemented in Scryer Prolog. The application has recently gone live and is provided as part of the Business Service Portal by the Austrian Federal Ministry of Finance.

翻译：本文阐述了Grants4Companies应用程序所采用的方法与技术。该应用基于逻辑专家系统，为登录企业展示适用的商业补助清单。为评估补助的适用性，系统将补助条件的形式化表示与奥地利公共管理登记簿中的企业属性进行比对验证。补助条件表示所采用的逻辑语言基于S-表达式。我们进一步描述了针对形式化补助条件进行推理的概念验证实现。该概念验证采用Common Lisp实现，并与Scryer Prolog构建的推理引擎进行交互。本应用近期已正式上线，作为奥地利联邦财政部商业服务门户的组成部分提供服务。