A Semantics-Aware Editing Environment for Prolog in Eclipse

TL;DR

This paper introduces a Prolog plugin for Eclipse that enhances programming with semantic-aware features like syntax highlighting, error detection, and content assist, leveraging a Java parser and integrated Prolog engine.

Contribution

It presents a novel Eclipse plugin for Prolog that integrates semantic analysis and editing features, improving developer productivity and code quality.

Findings

Provides comprehensive semantic-aware editing features for Prolog in Eclipse

Uses a Java parser and integrated Prolog engine for full language support

Extensible framework allowing further semantic analyses such as abstract interpretation

Abstract

In this paper we present a Prolog plugin for Eclipse based upon BE4, and providing many features such as semantic-aware syntax highlighting, outline view, error marking, content assist, hover information, documentation generation, and quick fixes. The plugin makes use of a Java parser for full Prolog with an integrated Prolog engine, and can be extended with further semantic analyses, e.g., based on abstract interpretation.