Papers tagged logic programming Out of the Tar Pit Prolog as a String Theory: Program Transformations and Query Optimization Propositions as Types Simple Bayesian Network Inference Using Logic Programming Browse All Keywords By Category