Logik programmering, dvs. beskrivelse af løsning på et beregningsproblem alene vha. logiske udsagn i en passende logik, er et centralt emne i datalogien. Der findes mange logikker: udsagnskalkylen (propositional logic), første ordens prædikatkalkylen (predicate calculus), flere modal-logikker såsom (på engelsk): belief, deontic, default, defeasible, [auto-] epistemic, non-monotonic, possibilistic, og andre trænger sig på. Som termen logik antyder bunder studiet af disse data- og beregningsbeskrivelsesformer sig på logikken. Og matematisk logik er derfor en grunddisciplin for alle dataloger.
IT/DTU kan mønstre en effektiv forskning også indenfor dette område (professor Jørgen Fischer Nilsson).