Share via


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

https://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