Logic Programming

A type of programming approach where the execution is based on formal logic statements.

برمجة منطقية