JanWielemaker/tabling_library

Benoit Desouter's library for tabling on delimited continuations

Prolog