SYB goes Prolog


I am about to finish a short article on SYB in Prolog.

Deadline seems to be in 30 hours from now.

If anyone has suggestions, I'd appreciate it.

Thanks,

Ralf

http://www.uni-koblenz.de/~laemmel/OdeToProlog/

 

Scrap Your Boilerplate---Prologically!

Status (30 June 2009)
Paper available in draft form.


Code distribution not yet available online.

 

Author(s)
Ralf Lämmel

 

Abstract

``Scrap Your Boilerplate'' (SYB) is an established style of generic
functional programming. The present paper reconstructs SYB within
the Prolog language with the help of the univ operator and
higher-order logic programming techniques. We pay attention to the
particularities of Prolog. For instance, we deal with traversal of
non-ground terms. We also develop an alternative model of SYB-like
traversal based on metaprogramming. This generative, type-driven
model is also amenable to type-driven optimization.

 

Keywords
Scrap Your Boilerplate, Haskell, Prolog, Stratego.

 

Bibtex entry
@inproceedings{OdeToProlog,
author = "Ralf L{\"a}mmel",
title = "{Scrap Your Boilerplate---Prologically!}",
booktitle = "Proceedings of the 11th ACM SIGPLAN international conference on Principles and practice of declarative programming",
publisher = ACM,
year = 2009,
note = "6 pages"
}

 

Downloads



Comments (0)

Skip to main content