Logic Programming Applications

11, PL: Programming Languages