RESEARCH: Logic Programming

Summary

Logic programming is a based on a technique in which programmable solutions are solved by not explicit instructions but by describing knowledge and assumptions about the problem explicitedly stated as logical axioms. The executed program is formalized as a logical statement called the goal statement. If the goal statement can be proved, it produces a program that solves the original problem.