Category:Logic programming: Difference between revisions

Content deleted Content added
m Added category and {{catmore}}
 
(22 intermediate revisions by 18 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:Formal methods]]
[[Category:Declarative programming]]
[[Category:Logic in computer science]]