Searched refs:unify (Results 1 - 25 of 61) sorted by relevance

123

/barrelfish-master/usr/eclipseclp/Kernel/src/
H A Deg_cc_external.cc41 return unify(EC_arg(1),
76 return unify(EC_word(EC_arg(2)), the_list);
96 return unify(EC_arg(2), EC_word(sum));
H A Deg_c_test.c165 ec_post_goal(ec_term(ec_.d.unify,
200 ec_post_goal(ec_term(ec_.d.unify, ec_ref_get(X),
H A Declipse_cc.cc310 unify(EC_word term1, EC_word term2);
313 unify(EC_word term) function in class:EC_word
352 unify(EC_word term1, EC_word term2) function
H A Dtypes.h1003 unify, member in struct:__anon1659
/barrelfish-master/usr/eclipseclp/icparc_solvers/ilog/
H A Dscheduler.cc45 return unify(EC_arg(3), handle(schedule_method, schedule.getImpl()));
61 return unify(EC_arg(5), handle(activity_method, activity.getImpl()));
80 return unify(EC_arg(3), handle(constraint_method, constraint.getImpl()));
117 return unify(EC_arg(3), handle(resource_method, resource.getImpl()));
146 return unify(EC_arg(3), handle(altresset_method, resource.getImpl()));
H A Dilog.cc58 return unify(EC_arg(1), handle(&ilog_method, m.getImpl()));
88 if (unify(ec_var, EC_word(v.getValue())) != EC_succeed) {
117 return unify(EC_arg(arg), handle(intvar_method, v.getImpl()));
183 return (unify(EC_arg(3), EC_word(v.getMax())) ||
184 unify(EC_arg(2), EC_word(v.getMin())));
199 return (unify(EC_arg(2), EC_word(v.getSize())));
234 return unify(EC_arg(2), make_interval(v.getMin(), max, l, dotdot));
249 return (unify(EC_arg(2), l));
H A Dilog.pl67 unify:unify_ilog/2]). label
/barrelfish-master/usr/eclipseclp/Contrib/
H A Dmetutl.pl8 :- local unify/3.
19 unify/2,
41 unify(+, +),
42 unify(+, +, +),
145 % unify(?X, ?Y)
146 % Try to unify X and Y, wih occurs check.
149 unify(X, Y) :-
153 X = Y. % want unify(X,X)
155 unify(X, Y) :-
161 unify(
[all...]
H A Dlistut.pl160 % N elements and unify Elem with the next.)
176 and unify Elem with the next.)
/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dpeval.pl96 matches1([(A:-B)|C],D,E) :- not unify(A,D), !, matches1(C,D,E).
146 member((X:-T),L), unify(H,X).
197 unify(A,B) :- var(A), !, unify1(A,B).
198 unify(A,B) :- var(B), !, unify2(B,A).
199 unify(A,B) :- A=..[F|LA], B=..[F|LB], unifyl(LA,LB).
209 unifyl([A|LA],[B|LB]) :- unify(A,B), unifyl(LA,LB).
H A Dtracer.pl70 resume,leave,delay,next,unify,spyterm,modify,else)),
222 last_suspension(S), % unify S
527 unify:unify, label
546 unify,
563 port_name_to_mask_bit(unify, 2'0000001000000000) :- !.
579 port_name_to_number(unify, 10) :- !.
H A Dmodes.pl325 (unify(Term1, Term2) ->
439 % unify two mixed abstract/concrete terms
446 unify(X, Y) :-
453 unify('$alias'(X), Y) :- !,
454 unify(X, Y).
455 unify(X, Y) :-
474 mapargs(unify, X, Y)
H A Dmeta.pl83 :- local_record(unify).
260 meta_event(unify, 2).
261 meta_event(unify, 3).
373 collect_local_handlers(unify, List),
717 unify(X, Y, List), % like =/2 with an explicit list
/barrelfish-master/usr/eclipseclp/documents/embedding/
H A Dembfunc.tex45 \item[int unify(EC_word, EC_word)]\ \\
46 unify two pwords. The return code indicates success or
51 \item[int EC_word::unify(EC_word)]\ \\
103 return unify(EC_arg(2), EC_word(sum));
H A Dumscmacros.tex265 The macros {\tt Return_Unify_} are used to unify two terms.
297 & unify two general Prolog terms. To be used if
305 The macros {\tt Request_Unify_} can be used to unify any number
340 {\tt Request_Unify_Pw(val1, tag1, val2, tag2)} & unify two general Prolog terms. To be used if
H A Dembsumcxx.tex241 \item[int unify(EC_word,EC_word)]\ \\
247 \item[int EC_word::unify(EC_word)]\ \\
/barrelfish-master/usr/eclipseclp/icparc_solvers/
H A Dbin_info.pl31 :- meta_attribute(bin_info, [unify:unify_bin_info/2,print:print_bin_info/2]).
H A Dnot_equals.pl32 % unify or not, taking disequality
73 unify:unify_ne/2, label
H A Dshadow_cons.pl113 :- meta_attribute(shadow_cons, [unify:unify_LC/2, print:print_LC/2]).
/barrelfish-master/usr/eclipseclp/Mercury/
H A Dm_map.pl153 summary: "Succeeds if Key and Value unify with a key/value pair from Map.",
154 fail_if: "Fails if Key and Value do not unify with a key/value pair from Map.",
159 Tries to unify Key and Value with key/value pairs from the map Map.
181 fail_if: "Fails if Key does not appear in Map or if Value does not unify with the corresponding value found.",
187 If the key is found, then it attempts to unify the corresponding
205 fail_if: "Fails if Value does not unify with the value corresponding to Key.",
211 If the key is found, then it attempts to unify the corresponding
231 fail_if: "Fails if there are no keys at least as large as SearchKey in Map or if Key and Value do not unify with the key and value found.",
240 found, then it attempts to unify it with Key and the corresponding
259 fail_if: "Fails if Key and Value do not unify wit
[all...]
/barrelfish-master/usr/eclipseclp/GecodeInterface/
H A Dgfd.cpp585 return unify(EC_arg(1), handle(&gfd_method, solverp));
654 return unify(EC_arg(3), nil());
693 return unify(EC_arg(3), EC_word((long)val));
746 res = unify(EC_arg(3), EC_word(solver->vInt[(int)idx].min()));
748 return unify(EC_arg(4), EC_word(solver->vInt[(int)idx].max()));
769 return unify(EC_arg(3), EC_word(solver->vInt[(int)idx].min()));
815 unify(EC_arg(5), EC_word(solver->vInt[(int)idx].min())) :
816 unify(EC_arg(5), EC_word(solver->vInt[(int)idx].max())));
837 return unify(EC_arg(3), EC_word(solver->vInt[(int)idx].max()));
857 return unify(EC_ar
[all...]
/barrelfish-master/usr/eclipseclp/documents/userman/
H A Dextmeta.tex171 an attributed variable (it would create a new attributed variable and unify this
229 [unify:UnifyHandler, test_unify:TUHandler, ...]
259 \item [unify:]\handleridx{unify}
290 \emph{and} all handlers for the \notation{unify} operation are invoked.
296 unify-handlers are done.
308 where the arguments are the same as for the unify handler.
468 than the \notation{unify} handler and because its semantics is somewhat
572 bound. This is done by writing a handler for the \notation{unify} operation.
601 :- meta_attribute(enum, [unify
[all...]
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/
H A Dkernel.tex465 meta-unify event handler.
578 trigger a meta-unify\index{meta-unify} event at the next synchronous point
585 get_value(a(A1),a(A2)) & unify two argument registers \\
586 get_value(a(A),y(Y)) & unify argument and environment slot \\
587 get_value(a(A),t(X)) & unify argument and temporary \\
588 get_value(y(Y),y(Y)) & unify two environment slots \\
599 get_constant(a(A),C) & unify argument with arbitrary constant \\
600 get_nil(a(A)) & unify argument with nil (the atom '[]') \\
601 get_integer(a(A),V) & unify argumen
[all...]
H A Dumscmacros.tex282 The macros {\tt Return_Unify_} are used to unify two terms.
314 & unify two general Prolog terms. To be used if
322 The macros {\tt Request_Unify_} can be used to unify any number
357 {\tt Request_Unify_Pw(val1, tag1, val2, tag2)} & unify two general Prolog terms. To be used if
/barrelfish-master/usr/eclipseclp/ecrc_solvers/chr/
H A Dmath-eager.pl30 coca(try_rule(F, equals([A * B], C), unify, equals([G * H], I), replacement, nonground(G), is_div(I, H, G))),
34 coca(fired_rule(unify)),

Completed in 145 milliseconds

123