Inproceedings,

Web-based Visualisation for Definite Clause Grammars using Prolog Meta-Interpreters: System Description

, , and .
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, (2018)
DOI: 10.1145/3236950.3236966

Abstract

Definite Clause Grammars (DCGs) are a convenient way to describe lists in Prolog. They are a common mean to specify grammars for natural language processing and to parse formal languages. Despite its long history, tools dedicated to the development and debugging of DCGs are rare. In this paper, we present an interactive, web-based tool to visualise the execution of a DCG. To collect the required information from SWI-Prolog, we discuss several techniques, including meta-interpreters, trace interceptors, and term expansions.

Tags

Users

  • @falco.nogatz
  • @dblp

Comments and Reviews