Kernel/lib/kb.pl

316 	concat_strings("cat ", File,S1),
317 	concat_strings(S1," >> ",S2),
1598 	domains(R1, S1),
1602 	'KB_link_join_atts'( Cond, [R1| S1], [R2| S2], Args1, Args2),
1603 	'KB_flatten'(Cond, [R1|S1], [R2|S2], Args1, Args2, Xtrs),
1610 	domains(R1, S1),
1614 	'KB_link_join_atts'( Cond, [R1| S1], [R2| S2], Args1, Args2),
1615 	'KB_flatten'(Cond, [R1|S1], [R2|S2], Args1, Args2, Xtrs),
1617 	RS1 =.. [R1|S1],
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),
1810 'KB_is_attr'(Rel^Att, [Rel|S1], _, 1, No) :-
1811 	'KB_in_pos'( S1, 1, Att, No), !.
1814 'KB_is_attr'(Att, [_|S1], _, 1, No) :-
1816 	'KB_in_pos'( S1, 1, Att, No), !.
1927 	R1 <==> S1,
1929 	append( S1, S2, S),
1943 	R1 <==> S1,
1945 	append( S1, S2, S),