Assignment to record is here!

[EvgSkv]

You can now assign to record fields!

Here is a full example:

@Engine("sqlite");
Purchase(customer: "John", items: [{item_name: "Eggs", price: 2.99},
                                   {item_name: "Milk", price: 3.99}]);
Purchase(customer: "Jane", items: [{item_name: "Bread", price: 4.99}, 
                                   {item_name: "Butter", price: 1.99}]);
Purchase(customer: "John", items: [{item_name: "Soda", price: 1.99}]);
Purchase(customer: "Jane", items: [{item_name: "Chips", price: 2.99}, 
                                   {item_name: "Salsa", price: 3.99}]);

CustomerInfo(customer:, 
             items? Set= item_name, 
             spend? += price) distinct :-
  Purchase(customer:, items:),
  {item_name:, price:} in items;

See how we extract item_name and price for each item by simply writing {item_name:, price:} in items.