The language Prolog

\label{dig/prolog} Prolog is the most widely used logic programming language that exists today. It implements a logic programming system as treated in the previous sections, but in addition contains a number of features that are convenient when programming actual systems. .so syntax lists bags arith cuts neg control meta dynamic