Prolog

[ LiB ]

Short for PROgramming LOGic, Prolog is a high-level language based on the discipline of traditional logic. While most computer languages perform a sequence of commands, Prolog has an entirely different approach. Prolog first creates definitions and assumptions and then uses them to solve logic problems. For Prolog, a program is just a list of facts and rules. Prolog is most often found in AI experiments and expert systems (programs that function like human experts).

[ LiB ]