{{Commons category}}
{{Cat main}}
Logic programming is the study of computer programs that implement logic.
Category:Declarative programming
Category:Logic in computer science