Category:Logic programming

From HandWiki

Computing portal

Here is a list of articles in the Logic programming category of the Computing portal that unifies foundations of mathematics and computations using computers. Logic programming is the study of computer programs that implement logic.