所以我有这三个表的知识库
% order(customer_name, item_name, quantity).
% customer(name, credit_rating).
% item(name, quantity_in_stock).
我应该找到所有有效的订单。有效订单被定义为具有良好信用评级（评级高于500）的有效客户，客户订购的项目应存在于库存中，订单数量必须小于quantity_in_stock的订单数量。
我已经想出了好评，只是customer(X, Rating), Rating >=500。但我无法弄清楚如何结合良好的客户评级，数量，然后将其与quantity_in_stock进行比较。