Category:Logic programming: Difference between revisions

Content deleted Content added
m Re-added category to match functional programming
 
(19 intermediate revisions by 17 users not shown)
Line 1:
{{Commons category}}
{{catmore}}
{{Cat main}}
 
''Logic programming'' is the study of computer programs that implement logic.
[[Category:Programming paradigms]]
 
[[Category:Declarative programming]]
[[Category:Logic in computer science]]
[[Category:Formal methods]]