This track provides an opportunity to showcase logic programming systems and implementations in a live setting. This track is not designed to be sales pitches, demonstrations are a way for the community to see the relevance, potential, and innovation of the tool and allow time for discussion with its creator. Researchers and practitioners from all sub-areas of LP are encouraged to submit proposals to demonstrate their systems.
Submissions will be evaluated on the basis of their novelty and scientific or industrial contributions, relevance to the logic programming community, user-friendliness, and presentation.
We encourage submissions demonstrating novel techniques for logic programming, as well as submissions from mature systems, commercial and/or open-source systems, and systems in development.