The 13th-century Catalan philosopher Ramon Llull invented the mechanical combinatorial art known as Ars Magna, which used rotating concentric discs to combine basic concepts and automatically generate propositions, and is regarded by many historians of computing as the earliest prototype of algorithmic thinking.