Lines Matching refs:Op
1844 matches the variable to the attribute and builds Op(Var, Cte) */
1845 'KB_inst_rank'( 1, Ano, Cte, Op, Args1, _, Xcond) :-
1848 Xcond =.. [Op, X, Cte], !.
1849 'KB_inst_rank'( 2, Ano, Cte, Op, _, Args2, Xcond) :-
1852 Xcond =.. [Op, X, Cte], !.
1855 'KB_inst_atts_rank'( 1, Ano1, 1, Ano2, Op, Args1, _, Xcond) :-
1859 Xcond =.. [Op, X1, X2], !.
1861 'KB_inst_atts_rank'( 2, Ano1, 2, Ano2, Op, _, Args2, Xcond) :-
1865 Xcond =.. [Op, X1, X2], !.
1867 'KB_inst_atts_rank'( 1, Ano1, 2, Ano2, Op, Args1, Args2, Xcond) :-
1872 Xcond =.. [Op, X1, X2], !.
1874 'KB_inst_atts_rank'( 2, Ano1, 1, Ano2, Op, Args1, Args2, Xcond) :-
1879 Xcond =.. [Op, X1, X2], !.