Computability theory, semantics, and logic programming | lit.salon