Popular repositories Loading

1. logen logen Public

   Offline partial evaluation system for Prolog written using the cogen approach

   Prolog 19 3

2. ecce ecce Public

   Online partial evaluator for pure Prolog programs (with built-ins)

   Prolog 10 1

3. lix lix Public

   Lix: A self-applicable partial evaluator for Prolog

   Prolog 5

4. bbedit-prob bbedit-prob Public

   BBedit Language Modules from the ProB Team

   Makefile 3

5. logen-bta logen-bta Public

   A binding-time analysis (BTA) for the logen offline partial evaluator.

   Prolog 1 1

6. crowded-chessboard crowded-chessboard Public

   Various models and solutions to the crowded chessboard puzzle from 1917

   OpenEdge ABL 1