FMS: Functional Programming as a Modelling Language

TL;DR

This paper presents the Functional Modelling System (FMS), a new approach that uses a functional programming-based language (FML) to model NP-complete search problems, translating them into answer set programs for solutions.

Contribution

It introduces FML, a novel modeling language for complex search problems, and details the system that translates these models into answer set programs.

Findings

FML effectively models NP-complete problems.

The system successfully translates FML specifications into answer set programs.

The paper discusses potential improvements for the system.

Abstract

In this paper we introduce the Functional Modelling System (FMS). The system introduces the Functional Modelling Language (FML), which is a modelling language for NP-complete search problems based on concepts of functional programming. Internally, we translate FML specifications to an Answer Set Program to obtain models. We give a general overview of the new FML language, and how this language is handled in the system. We give a step-by-step walkthrough of the system, pointing out what features are in place, and what improvements are still possible.