Section "notebook"

Our original idea was to replicate Knuth’s idea of literate programming for the web. Diverting slightly from the batch processing approach, we view HTML pages with a simple Prolog code embedding as the primary source. We provide colorized notebook instrumentation via a browser entry point. The element modification varies according to the class name.

The following HTML attributes are provided:

class="code": (HTML attribute): Element gets colorized and instrumented with an execution button.
class="raw": (HTML attribute): Element gets only colorized, no instrumentation happens.