leuschel/logen leuschel/logen

  • Stars
    star
    18
  • Rank 1,202,033 (Top 24 %)
  • Language
    Prolog
  • License
    Apache License 2.0
  • Created almost 9 years ago
  • Updated about 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
leuschel/logen
github

leuschel

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Offline partial evaluation system for Prolog written using the cogen approach

More Repositories

1

ecce

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

lix

Lix: A self-applicable partial evaluator for Prolog
Prolog
5
star
3

bbedit-prob

BBedit Language Modules from the ProB Team
Makefile
3
star
4

crowded-chessboard

Various models and solutions to the crowded chessboard puzzle from 1917
OpenEdge ABL
1
star
5

nu-logen

New version of the logen partial evaluation system for Prolog
Prolog
1
star
6

logen-bta

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