Introducing LoCo, a Logic for Configuration Problems

TL;DR

LoCo is a new logic-based language designed for modeling configuration problems declaratively, enabling intuitive representations and finite component configurations, with reasoning reduced to model construction.

Contribution

The paper introduces LoCo, a high-level logic language specifically crafted for configuration problems, emphasizing its declarative nature and finite component modeling.

Findings

Allows modeling of configuration problems in an intuitive way

Ensures configurations contain finitely many components

Reduces reasoning to model construction

Abstract

In this paper we present the core of LoCo, a logic-based high-level representation language for expressing configuration problems. LoCo shall allow to model these problems in an intuitive and declarative way, the dynamic aspects of configuration notwithstanding. Our logic enforces that configurations contain only finitely many components and reasoning can be reduced to the task of model construction.