caballa / ftclp

FTCLP: A Failure-based Tabling Interpreter for Constraint Logic Programs based on Interpolation

Geek Repo

Github PK Tool