Loopy的原型是一种叫做线圈图（loop diagram）的数学工具。

线圈图是一种用来表示逻辑关系、数学关系、物理关系等的图形化工具。它由一系列的圆圈和连线组成，圆圈代表变量或命题，连线代表它们之间的关系。线圈图最早由美国计算机科学家John Venn在19世纪末提出，后来由英国逻辑学家Charles L. Dodgson（更为人所熟知的是他的笔名Lewis Carroll）进一步发展和推广。它被广泛应用于逻辑学、数学、电路设计、计算机科学等领域。Loopy将线圈图的概念引入到了计算机软件中，使用户能够通过绘制线圈图来建立和可视化复杂的逻辑关系。Loopy提供了直观的界面和丰富的功能，使用户能够创建、编辑和分析线圈图，并进行模拟和推理。它在教育、科学研究、工程设计等领域都具有很大的应用价值。