TY  - RPRT
TI  - More declarative tabling in Prolog using multi-prompt delimited control
AU  - Samer Abdallah
PY  - 2017
UR  - https://arxiv.org/abs/1708.07081
ID  - 1708.07081
ER  -