Category:Logic programming

Logic programming is the study of computer programs that implement logic.