diff --git a/packs_sys/logicmoo_agi/prolog/kaggle_arc/kaggle_arc_howdiff.pl b/packs_sys/logicmoo_agi/prolog/kaggle_arc/kaggle_arc_howdiff.pl index 273ff92fd5..2d6872cbec 100644 --- a/packs_sys/logicmoo_agi/prolog/kaggle_arc/kaggle_arc_howdiff.pl +++ b/packs_sys/logicmoo_agi/prolog/kaggle_arc/kaggle_arc_howdiff.pl @@ -735,18 +735,21 @@ type_prop(rescale,rotSize2D(_,_,_)). type_prop(rescale,mass(_)). type_prop(rescale,cc(_,_)). +type_prop(rescale,grid_rep(norm,_)). type_prop(reshape,shape_rep(grav,_)). type_prop(reshape,iz(sid(_))). type_prop(reshape,iz(stype(_))). type_prop(reshape,iz(algo_sid(_, _))). type_prop(reshape,iz(filltype(_))). type_prop(reshape,iz(symmetry_type(_,_))). +type_prop(reshape,grid_rep(norm,_)). type_prop(reorder,pg(_Peers,_OG,_Type,_Ord)). type_prop(reorder,link_count(_,_)). type_prop(reorder,occurs_in_links(_,_)). type_prop(repaint,colors_cc(_)). type_prop(repaint,pen(_)). type_prop(repaint,cc(_,_)). +type_prop(repaint,grid_rep(norm,_)). changed_by(colorlesspoints,reshape). diff --git a/packs_sys/logicmoo_agi/prolog/kaggle_arc/kaggle_arc_uniqueness.pl b/packs_sys/logicmoo_agi/prolog/kaggle_arc/kaggle_arc_uniqueness.pl index 700cf9f3cb..64f410c233 100644 --- a/packs_sys/logicmoo_agi/prolog/kaggle_arc/kaggle_arc_uniqueness.pl +++ b/packs_sys/logicmoo_agi/prolog/kaggle_arc/kaggle_arc_uniqueness.pl @@ -1827,6 +1827,11 @@ flat_props([UseL],PA), flat_props([OutL],PB), noteable_propdiffs(PA,PB,Same,InFlatP,OutPFlat))),!. +% copy/transform 1-to-1 +diff_l_r([InL],[OutL],PA,[],OutFlat):- OutL\==[],!, + must_det_ll((flat_props([InL],PA), flat_props([OutL],PB), + intersection(PA,PB,_Shared,_L,OutFlat))). + % copy/transform diff_l_r([InL],OutL,PA1,[],OutFlat):- OutL\==[],!, must_det_ll((flat_props([InL],PA), flat_props([OutL],PB),