true

Prolog is a logic programming language. It is programmed declaratively, using ''resolution'' and ''backtracking'' to confirm propositions based on declared facts and rules.

Tasks

• 2048
• 4-rings or 4-squares puzzle
• ABC Problem
• Gray code
• Greatest common divisor
• Hello world!