/dports/lang/swi-pl/swipl-8.2.3/src/ |
H A D | pl-btree.c | 93 PL_unify_atom(A5, ATOM_equals) ) 107 PL_unify_atom(A5, arg == lp ? ATOM_smaller : ATOM_larger ) )
|
H A D | pl-wrap.c | 252 { 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 D | pl-modul.c | 853 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 D | pl-mutex.c | 162 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 D | pl-trace.c | 80 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 D | pl-privitf.c | 109 return PL_unify_atom(chr, a); in PL_unify_char()
|
H A D | pl-tabling.c | 2450 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 D | pl-proc.c | 733 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 D | pl-setup.c | 1222 { 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 D | pl-prims.c | 1452 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 D | pl-dwim.c | 185 PL_unify_atom(mm, type) ) in pl_dwim_match()
|
/dports/lang/swi-pl/swipl-8.2.3/packages/table/ |
H A D | order.c | 382 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 D | pl-prologflag.c | 1119 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 D | pl-file.c | 3305 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 D | pl-locale.c | 280 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 D | lwrcase.c | 55 return PL_unify_atom(l, la); in pl_lowercase()
|
/dports/lang/yap/yap-6.2.2/packages/PLStream/ |
H A D | pl-file.c | 2389 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 D | pl-privitf.c | 113 return PL_unify_atom(chr, a); in PL_unify_char()
|
H A D | pl-error.c | 166 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 D | swi.def | 44 PL_unify_atom
|
/dports/lang/yap/yap-6.2.2/packages/http/ |
H A D | cgi_stream.c | 286 { 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 D | readutil.c | 76 { 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 D | readutil.c | 71 { 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 D | cgi_stream.c | 330 { 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 D | websocket.c | 247 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()
|