标签： choco
我对Choco完全陌生，尽管他具有Prolog风格的编程背景，并且正在尝试执行以下操作：
我有两组记录，A和B。 A具有ID（有效主键）和属性 B也有一个id，还有一个数字属性，它引用A中的一个id（所以是主键和外键）
我想做的是使用约束求解器从B返回id，其中A中有一个具有对应数值属性的项目返回给B，而A中的属性是33（即33）。
这是一个相当简单的关系查询和相当惯用的序言。
我如何在Choco中做到这一点？