Home
last modified time | relevance | path

Searched refs:PL_unify_atom (Results 1 – 25 of 85) sorted by relevance

1234

/dports/lang/swi-pl/swipl-8.2.3/src/
H A Dpl-btree.c93 PL_unify_atom(A5, ATOM_equals) )
107 PL_unify_atom(A5, arg == lp ? ATOM_smaller : ATOM_larger ) )
H A Dpl-wrap.c252 { return PL_unify_atom(wrapped, closure); in unify_wrapped()
282 if ( !PL_unify_atom(closure, aref) ||
405 { return PL_unify_atom(A3, aref);
437 if ( !PL_unify_atom(A2, wname) )
H A Dpl-modul.c853 if ( PL_unify_atom(A2, s->name) )
946 return PL_unify_atom(file, f);
969 PL_unify_atom(head, m->name)) )
975 rc = PL_unify_atom(module, m->name);
1010 if ( PL_unify_atom(module, m->name) &&
1011 PL_unify_atom(file, f) )
1030 PL_unify_atom(A2, m->name) &&
1042 return PL_unify_atom(A1, LD->modules.typein->name);
1061 return PL_unify_atom(A1, LD->modules.source->name);
1415 return PL_unify_atom(a, m->file->name);
[all …]
H A Dpl-mutex.c162 return PL_unify_atom(t, m->id); in unify_mutex()
277 { if ( !PL_unify_atom(A1, alias) )
525 return PL_unify_atom(prop, m->id); in mutex_alias_property()
543 { return PL_unify_atom(prop, ATOM_unlocked); in mutex_status_property()
H A Dpl-trace.c80 return PL_unify_atom(t, ATOM_none); in PL_unify_frame()
143 return PL_unify_atom(t, ATOM_none); in PL_unify_choice()
1938 { TRY(PL_unify_atom(old, ATOM_very_deep));
1940 { TRY(PL_unify_atom(old, ATOM_redo_in_skip));
2181 if ( !PL_unify_atom(arg, def->module->name) ) in prolog_frame_attribute()
2188 { PL_unify_atom(arg, def->functor->name); in prolog_frame_attribute()
2262 { if ( PL_unify_atom(arg, ATOM_none) ) in prolog_frame_attribute()
2398 return PL_unify_atom(A3, ATOM_clause);
2400 return PL_unify_atom(A3, ATOM_foreign);
2404 return PL_unify_atom(A3, types[ch->type]);
H A Dpl-privitf.c109 return PL_unify_atom(chr, a); in PL_unify_char()
H A Dpl-tabling.c2450 if ( !PL_unify_atom(ret, ATOM_ret) ) in get_answer_table()
3084 { return PL_unify_atom(t, ATOM_fresh); in unify_fresh()
3451 return PL_unify_atom(A4, ATOM_cut);
3474 { if ( !PL_unify_atom(A4, ATOM_cut) )
3506 if ( !PL_unify_atom(A4, ATOM_cut) )
4736 return PL_unify_atom(t, status); in unify_component_status()
5115 { return PL_unify_atom(t, ATOM_true); in unify_delay_info()
5183 { return PL_unify_atom(t, ATOM_true); in unify_delay_info_dl()
5617 { if ( !PL_unify_atom(A1, current) )
5882 PL_unify_atom(A2, state->dir) )
[all …]
H A Dpl-proc.c733 return PL_unify_atom(name, nameFunctor(f)); in pl_current_predicate()
746 !PL_unify_atom(name, fdef->name) || in pl_current_predicate()
935 { PL_unify_atom(mt, e->module->name);
955 PL_unify_atom(mt, e->module->name);
957 PL_unify_atom(nt, fd->name);
1880 return PL_unify_atom(arg, a); in unify_meta_argument()
3336 rc = PL_unify_atom(value, sf->name);
3604 return PL_unify_atom(value, sf->name);
3609 return PL_unify_atom(value, sf->name);
3615 { return PL_unify_atom(value,
[all …]
H A Dpl-setup.c1222 { TRY(PL_unify_atom(old, ATOM_default));
1224 { TRY(PL_unify_atom(old, ATOM_throw));
1228 if ( PL_unify_atom(mold, def->module->name) )
1229 { if ( !PL_unify_atom(old, def->functor->name) )
1239 { TRY(PL_unify_atom(old, ATOM_debug));
H A Dpl-prims.c1452 return PL_unify_atom(A1, ATOM_true);
1455 return PL_unify_atom(A1, ATOM_false);
1457 return PL_unify_atom(A1, ATOM_true);
1463 return PL_unify_atom(A1, ATOM_true);
1919 return PL_unify_atom(A1, a);
2096 if ( !PL_unify_atom(A2, fd->name) ||
2609 !PL_unify_atom(head, fd->name) )
2679 if ( !PL_unify_atom(A2, name) )
4865 { return PL_unify_atom(t, ATOM_cut); in unify_det()
4867 { if ( PL_unify_atom(t, ATOM_true) ) in unify_det()
[all …]
H A Dpl-dwim.c185 PL_unify_atom(mm, type) ) in pl_dwim_match()
/dports/lang/swi-pl/swipl-8.2.3/packages/table/
H A Dorder.c382 return PL_unify_atom(to, ATOM_break); in unify_mapped_code()
384 return PL_unify_atom(to, ATOM_ignore); in unify_mapped_code()
386 return PL_unify_atom(to, ATOM_tag); in unify_mapped_code()
522 return PL_unify_atom(result, in pl_compare_strings()
/dports/lang/swi-pl/swipl-8.2.3/src/os/
H A Dpl-prologflag.c1119 return PL_unify_atom(val, v); in unify_prolog_flag_value()
1132 return PL_unify_atom(val, v); in unify_prolog_flag_value()
1142 return PL_unify_atom(val, v); in unify_prolog_flag_value()
1161 return PL_unify_atom(val, v); in unify_prolog_flag_value()
1177 { return PL_unify_atom(val, accessLevel()); in unify_prolog_flag_value()
1195 return PL_unify_atom(val, f->value.a); in unify_prolog_flag_value()
1220 return PL_unify_atom(access, ATOM_read); in unify_prolog_flag_access()
1222 return PL_unify_atom(access, ATOM_write); in unify_prolog_flag_access()
1252 return PL_unify_atom(type, a); in unify_prolog_flag_type()
1351 if ( PL_unify_atom(key, fn) && in pl_prolog_flag5()
[all …]
H A Dpl-file.c3305 return PL_unify_atom(A1, a);
4055 return PL_unify_atom(A1, ATOM_user);
4318 { return PL_unify_atom(prop, name); in stream_file_name_propery()
4343 return PL_unify_atom(prop, mode); in stream_mode_property()
4432 return PL_unify_atom(prop, val); in stream_end_of_stream_prop()
4450 return PL_unify_atom(prop, val); in stream_eof_action_prop()
4482 return PL_unify_atom(prop, val); in stream_reposition_prop()
4552 return PL_unify_atom(prop, ename); in stream_encoding_prop()
4577 return PL_unify_atom(prop, a); in stream_reperror_prop()
4590 return PL_unify_atom(prop, a); in stream_writeerror_prop()
[all …]
H A Dpl-locale.c280 return PL_unify_atom(t, l->alias); in unifyLocale()
283 return PL_unify_atom(t, l->symbol); in unifyLocale()
350 return PL_unify_atom(prop, l->alias); in locale_alias_property()
/dports/lang/swi-pl/swipl-8.2.3/src/test/
H A Dlwrcase.c55 return PL_unify_atom(l, la); in pl_lowercase()
/dports/lang/yap/yap-6.2.2/packages/PLStream/
H A Dpl-file.c2389 return PL_unify_atom(A1, a);
2882 return PL_unify_atom(A1, ATOM_user);
2945 return PL_unify_atom(A1, ATOM_user);
3072 { return PL_unify_atom(prop, name); in stream_file_name_propery()
3096 return PL_unify_atom(prop, mode); in stream_mode_property()
3175 return PL_unify_atom(prop, val); in stream_end_of_stream_prop()
3193 return PL_unify_atom(prop, val); in stream_eof_action_prop()
3225 return PL_unify_atom(prop, val); in stream_reposition_prop()
3277 return PL_unify_atom(prop, ATOM_dos); in stream_newline_prop()
3301 return PL_unify_atom(prop, a); in stream_reperror_prop()
[all …]
H A Dpl-privitf.c113 return PL_unify_atom(chr, a); in PL_unify_char()
H A Dpl-error.c166 return PL_unify_atom(t, val ? ATOM_true : ATOM_false); in PL_unify_bool_ex()
/dports/lang/yap/yap-6.2.2/library/dialect/swi/fli/
H A Dswi.def44 PL_unify_atom
/dports/lang/yap/yap-6.2.2/packages/http/
H A Dcgi_stream.c286 { rc = PL_unify_atom(arg, ctx->transfer_encoding); in cgi_property()
288 { rc = PL_unify_atom(arg, ctx->connection ? ctx->connection : ATOM_close); in cgi_property()
307 rc = PL_unify_atom(arg, state); in cgi_property()
/dports/lang/swi-pl/swipl-8.2.3/packages/clib/
H A Dreadutil.c76 { rc = PL_unify_atom(codes, ATOM_end_of_file); in read_line_to_codes3()
/dports/lang/yap/yap-6.2.2/packages/clib/
H A Dreadutil.c71 { rc = PL_unify_atom(codes, ATOM_end_of_file); in read_line_to_codes3()
/dports/lang/swi-pl/swipl-8.2.3/packages/http/
H A Dcgi_stream.c330 { rc = PL_unify_atom(arg, ctx->transfer_encoding); in cgi_property()
332 { rc = PL_unify_atom(arg, ctx->connection ? ctx->connection : ATOM_close); in cgi_property()
355 rc = PL_unify_atom(arg, state); in cgi_property()
H A Dwebsocket.c247 rc = PL_unify_atom(value, ws_state_names[ctx->state]); in ws_property()
249 { rc = PL_unify_atom(value, ctx->subprotocol); in ws_property()
872 { return ( PL_unify_atom(OpCode, ATOM_end_of_file) && in ws_read_header()

1234