EMBEDDED DOMAIN-SPECIFIC LANGUAGES IN PROLOG

SUMMARY A domain-specific language is a language tailored to a specific application domain and precisely capture the domain's semantics. It can be implemented by the traditional or by the embedded approach. While for embedding mainly functional languages are used, it is shown in the paper that Prolog is also suitable as a ''host'' language. The advantages of using Prolog in embedding are declarativeness, unification, nondeterminism, and ''natural'' looking syntax of domain-specific languages.

[1]  Maria João Varanda Pereira,et al.  Automatic generation of language-based tools using the LISA system , 2005, IEE Proc. Softw..

[2]  Kris De Volder.  Aspect-Oriented Logic Meta Programming , 1998, ECOOP Workshops.

[3]  Gopal Gupta,et al.  Horn Logic Denotations and Their Applications , 1999, The Logic Programming Paradigm.

[4]  Sjouke Mauw,et al.  Language-driven system design , 2002, Proceedings of the 35th Annual Hawaii International Conference on System Sciences.

[5]  Marjan Mernik.  PROLOG AND AUTOMATIC LANGUAGE IMPLEMENTATION SYSTEMS , 2005 .

[6]  Paul Hudak,et al.  Modular domain specific languages and tools , 1998, Proceedings. Fifth International Conference on Software Reuse (Cat. No.98TB100203).

[7]  Koji Torii,et al.  GENERATING PRACTICAL PROLOG PROGRAMS FROM ATTRIBUTE GRAMMARS. , 1987 .

[8]  Ralf Lämmel,et al.  Prological Language Processing , 2001, LDTA@ETAPS.

[9]  Victor W. Marek,et al.  The Logic Programming Paradigm: A 25-Year Perspective , 2011 .

[10]  Arie van Deursen,et al.  The Asf+Sdf Meta-Environment: a Component-Based Language Development Environment , 2001, LDTA@ETAPS.

[11]  Samuel N. Kamin.  Research on Domain-specific Embedded Languages and Program Generators , 1997, US-Brazil Joint Workshops on the Formal Foundations of Software Systems.

[12]  M Mernik,et al.  When and how to develop domain-specific languages , 2005, CSUR.

[13]  Jaroslav Porubän,et al.  THE CLASSIFICATION OF PROGRAMMING ENVIRONMENTS , 2022 .

[14]  Jukka Paakki,et al.  PROFIT: A System Integrating Logic Programming and Attribute Grammars , 1991, PLILP.

[15]  Conal Elliott,et al.  An Embedded Modeling Language Approach to Interactive 3D and Multimedia Animation , 1999, IEEE Trans. Software Eng..

[16]  Krzysztof Czarnecki,et al.  Generative Programming , 2001, ECOOP Workshops.

[17]  Barrett R. Bryant,et al.  Rapid prototyping of programming language semantics using Prolog , 1989, [1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference.

[18]  Paul Hudak,et al.  Lambda in Motion: Controlling Robots with Haskell , 1999, PADL.

[19]  Arie van Deursen,et al.  Domain-specific language design requires feature descriptions , 2002 .

[20]  Jan Maluszynski,et al.  A grammatical view of logic programming , 1988, PLILP.

[21]  Paul Klint,et al.  Semantics of programming languages: a tool-oriented approach , 1999, SIGP.

[22]  Jukka Paakki,et al.  Attribute grammar paradigms—a high-level methodology in language implementation , 1995, CSUR.

[23]  Jacques Cohen,et al.  Parsing and compiling using Prolog , 1987, TOPL.

[24]  Qian Wang,et al.  Rapidly prototyping implementation infrastructure of domain specific languages: a semantics-based approach , 2005, SAC '05.