Scholarlink

This article explores the integration of Structured Declarative Language (SDL) into ASP Chef, a low-code web application designed to facilitate the development of pipelines for combinatorial search and optimization. SDL is a recent proposal aimed at simplifying the syntax of Answer Set Programming (ASP), inspired by the straightforwardness of SQL. The integration is achieved through the implementation of a server that compiles SDL specifications into ASP programs and the addition of a new operation in ASP Chef to manage data exchange with the server. This integration aims to streamline the development process and make it more accessible for users working on combinatorial optimization tasks.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Integrating Structured Declarative Language (SDL) into ASP Chef

  • 会议论文

  • 发表日期：

    2025年

查看全文
  • Mario Alviano,
  • Paola Guarasci,
  • Luis Angel Rodriguez Reiners,
  • Ilaria R. Vasile

摘要

This article explores the integration of Structured Declarative Language (SDL) into ASP Chef, a low-code web application designed to facilitate the development of pipelines for combinatorial search and optimization. SDL is a recent proposal aimed at simplifying the syntax of Answer Set Programming (ASP), inspired by the straightforwardness of SQL. The integration is achieved through the implementation of a server that compiles SDL specifications into ASP programs and the addition of a new operation in ASP Chef to manage data exchange with the server. This integration aims to streamline the development process and make it more accessible for users working on combinatorial optimization tasks.