Lines Matching refs:S2
317 concat_strings(S1," >> ",S2),
318 concat_strings(S2,FullName,Command),
1601 domains(R2, S2),
1602 'KB_link_join_atts'( Cond, [R1| S1], [R2| S2], Args1, Args2),
1603 'KB_flatten'(Cond, [R1|S1], [R2|S2], Args1, Args2, Xtrs),
1613 domains(R2, S2),
1614 'KB_link_join_atts'( Cond, [R1| S1], [R2| S2], Args1, Args2),
1615 'KB_flatten'(Cond, [R1|S1], [R2|S2], Args1, Args2, Xtrs),
1619 RS2 =.. [R2|S2],
1621 'KB_projectj'( Proj, [R1|S1], RS1, RArgs1, [R2|S2], RS2, RArgs2,
1701 'KB_flatten'( and( C1, C2), S1, S2, Args1, Args2, ','(Xtras1, Xtras2)) :-
1702 'KB_flatten'( C1, S1, S2, Args1, Args2, Xtras1),
1703 'KB_flatten'( C2, S1, S2, Args1, Args2, Xtras2), !.
1708 'KB_flatten'( Att1 == Att2, S1, S2, _, _, true) :-
1709 'KB_is_attr'(Att1, S1, S2, _, _),
1710 'KB_is_attr'(Att2, S1, S2, _, _), !. % ignore it -- join args
1711 'KB_flatten'( Att1 = Att2, S1, S2, _, _, true) :-
1712 'KB_is_attr'(Att1, S1, S2, _, _),
1713 'KB_is_attr'(Att2, S1, S2, _, _), !. % ignore it -- join args
1714 'KB_flatten'( Att == Cte, S1, S2, Args1, Args2, true) :-
1715 'KB_is_attr'(Att, S1, S2, R, No),
1717 'KB_flatten'( Cte == Att, S1, S2, Args1, Args2, true) :-
1718 'KB_is_attr'(Att, S1, S2, R, No),
1720 'KB_flatten'( Att = Cte, S1, S2, Args1, Args2, true) :-
1721 'KB_is_attr'(Att, S1, S2, R, No),
1723 'KB_flatten'( Cte = Att, S1, S2, Args1, Args2, true) :-
1724 'KB_is_attr'(Att, S1, S2, R, No),
1726 'KB_flatten'( Att1 < Att2, S1, S2, Args1, Args2, Xtra) :-
1727 'KB_is_attr'(Att1, S1, S2, R1, No1),
1728 'KB_is_attr'(Att2, S1, S2, R2, No2),
1730 'KB_flatten'( Att < Cte, S1, S2, Args1, Args2, Xtra) :-
1731 'KB_is_attr'(Att, S1, S2, R, No),
1733 'KB_flatten'( Cte < Att, S1, S2, Args1, Args2, Xtra) :-
1734 'KB_is_attr'(Att, S1, S2, R, No),
1736 'KB_flatten'( Att1 > Att2, S1, S2, Args1, Args2, Xtra) :-
1737 'KB_is_attr'(Att1, S1, S2, R1, No1),
1738 'KB_is_attr'(Att2, S1, S2, R2, No2),
1740 'KB_flatten'( Att > Cte, S1, S2, Args1, Args2, Xtra) :-
1741 'KB_is_attr'(Att, S1, S2, R, No),
1743 'KB_flatten'( Cte > Att, S1, S2, Args1, Args2, Xtra) :-
1744 'KB_is_attr'(Att, S1, S2, R, No),
1746 'KB_flatten'( Att1 =< Att2, S1, S2, Args1, Args2, Xtra) :-
1747 'KB_is_attr'(Att1, S1, S2, R1, No1),
1748 'KB_is_attr'(Att2, S1, S2, R2, No2),
1750 'KB_flatten'( Att =< Cte, S1, S2, Args1, Args2, Xtra) :-
1751 'KB_is_attr'(Att, S1, S2, R, No),
1753 'KB_flatten'( Cte =< Att, S1, S2, Args1, Args2, Xtra) :-
1754 'KB_is_attr'(Att, S1, S2, R, No),
1756 'KB_flatten'( Att1 >= Att2, S1, S2, Args1, Args2, Xtra) :-
1757 'KB_is_attr'(Att1, S1, S2, R1, No1),
1758 'KB_is_attr'(Att2, S1, S2, R2, No2),
1760 'KB_flatten'( Att >= Cte, S1, S2, Args1, Args2, Xtra) :-
1761 'KB_is_attr'(Att, S1, S2, R, No),
1763 'KB_flatten'( Cte >= Att, S1, S2, Args1, Args2, Xtra) :-
1764 'KB_is_attr'(Att, S1, S2, R, No),
1766 'KB_flatten'( Att1 @< Att2, S1, S2, Args1, Args2, Xtra) :-
1767 'KB_is_attr'(Att1, S1, S2, R1, No1),
1768 'KB_is_attr'(Att2, S1, S2, R2, No2),
1770 'KB_flatten'( Att @< Cte, S1, S2, Args1, Args2, Xtra) :-
1771 'KB_is_attr'(Att, S1, S2, R, No),
1773 'KB_flatten'( Cte @< Att, S1, S2, Args1, Args2, Xtra) :-
1774 'KB_is_attr'(Att, S1, S2, R, No),
1776 'KB_flatten'( Att1 @> Att2, S1, S2, Args1, Args2, Xtra) :-
1777 'KB_is_attr'(Att1, S1, S2, R1, No1),
1778 'KB_is_attr'(Att2, S1, S2, R2, No2),
1780 'KB_flatten'( Att @> Cte, S1, S2, Args1, Args2, Xtra) :-
1781 'KB_is_attr'(Att, S1, S2, R, No),
1783 'KB_flatten'( Cte @> Att, S1, S2, Args1, Args2, Xtra) :-
1784 'KB_is_attr'(Att, S1, S2, R, No),
1786 'KB_flatten'( Att1 @=< Att2, S1, S2, Args1, Args2, Xtra) :-
1787 'KB_is_attr'(Att1, S1, S2, R1, No1),
1788 'KB_is_attr'(Att2, S1, S2, R2, No2),
1790 'KB_flatten'( Att @=< Cte, S1, S2, Args1, Args2, Xtra) :-
1791 'KB_is_attr'(Att, S1, S2, R, No),
1793 'KB_flatten'( Cte @=< Att, S1, S2, Args1, Args2, Xtra) :-
1794 'KB_is_attr'(Att, S1, S2, R, No),
1796 'KB_flatten'( Att1 @>= Att2, S1, S2, Args1, Args2, Xtra) :-
1797 'KB_is_attr'(Att1, S1, S2, R1, No1),
1798 'KB_is_attr'(Att2, S1, S2, R2, No2),
1800 'KB_flatten'( Att @>= Cte, S1, S2, Args1, Args2, Xtra) :-
1801 'KB_is_attr'(Att, S1, S2, R, No),
1803 'KB_flatten'( Cte @>= Att, S1, S2, Args1, Args2, Xtra) :-
1804 'KB_is_attr'(Att, S1, S2, R, No),
1812 'KB_is_attr'(Rel^Att, _, [Rel|S2], 2, No) :-
1813 'KB_in_pos'( S2, 1, Att, No), !.
1817 'KB_is_attr'(Att, _, [_|S2], 2, No) :-
1819 'KB_in_pos'( S2, 1, Att, No), !.
1928 R2 <==> S2,
1929 append( S1, S2, S),
1944 R2 <==> S2,
1945 append( S1, S2, S),