<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Teaching ASP (and Its Users) to Share Code: Abstract (Invited Talk)</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Mario Alviano</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Declaration on Generative AI</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>DeMaCS, University of Calabria</institution>
          ,
          <addr-line>87036 Rende (CS)</addr-line>
          ,
          <country country="IT">Italy</country>
        </aff>
      </contrib-group>
      <pub-date>
        <year>2025</year>
      </pub-date>
      <abstract>
        <p>Answer Set Programming (ASP) is a robust and expressive tool for modeling and solving combinatorial problems. However, it lacks essential features for modularity, reuse, and testing. These are features that modern developers, especially newcomers, increasingly expect. Without built-in mechanisms for isolation or encapsulation, sharing ASP code often means copying and pasting entire programs, understanding every detail, and manually checking for compatibility. This talk presents a new approach to code reuse in logic programming through ASP templates, now integrated into the ASP Chef platform. Templates provide a lightweight yet powerful way to encapsulate common reasoning patterns, with support for parameterization, inline documentation, and guided instantiation. With templates, developers can write once and reuse confidently. ASP Chef enables: (1) Templates with global predicates that can be renamed and local predicates that remain hidden; (2) Embedded documentation with interactive instantiation; and, (3), Template expansion for rapid prototyping and debugging. In the final part of the talk, I will introduce a new mechanism for integrating ASP with third-party frameworks. Instead of relying on fragile mappings defined through sets of facts, ASP Chef now supports Mustache templates that transform answer sets directly into structured JSON configuration objects. This approach ofers a practical, maintainable, and intuitive way to connect ASP with external systems, using ASP queries to drive configuration generation.</p>
      </abstract>
      <kwd-group>
        <kwd>eol&gt;Answer Set Programming</kwd>
        <kwd>Logic Programming Tools</kwd>
        <kwd>Modularity</kwd>
        <kwd>Code Reuse</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body />
  <back>
    <ref-list />
  </back>
</article>