/dports/lang/swi-pl/swipl-8.2.3/packages/xpce/prolog/lib/trace/ |
H A D | clause.pl | 96 % clause_info(+ClauseRef, -File, -TermPos, -VarNames) 100 pce_clause_info(ClauseRef, File, TermPos, NameOffset) :- 101 clause_info_cache(ClauseRef, File, TermPos, NameOffset), 102 \+ clause_property(ClauseRef, erased), 105 pce_clause_info(ClauseRef, File, TermPos, NameOffset) :- 106 clause_info(ClauseRef, File, TermPos, NameOffset), 110 pce_clause_info(ClauseRef, S, TermPos, NameOffset) :- 116 pce_clause_info(ClauseRef, S, TermPos, NameOffset) :- 125 pce_clause_info_2(ClauseRef, S, TermPos, NameOffset) :- 127 '$clause'(Head, Body, ClauseRef, VarOffset), [all …]
|
H A D | trace.pl | 450 ClauseRef \== 0 465 ( clause(QGoal, _Body, ClauseRef) 506 pce_clause_info(ClauseRef, File, TPos, _), 507 head_pos(ClauseRef, TPos, PosTerm), 517 ; clause_end(ClauseRef, File, CharA, CharZ) 522 clause_end(ClauseRef, File, CharA, CharZ). 524 pce_clause_info(ClauseRef, File, TPos, _), 527 [ClauseRef, PC, List]), 540 ClauseRef, PC)), 548 clause_end(ClauseRef, File, CharA, CharZ) :- [all …]
|
/dports/lang/swi-pl/swipl-8.2.3/library/ |
H A D | prolog_breakpoints.pl | 89 '$clause_from_source'(Owner, File, Line, ClauseRef), 92 -> '$break_pc'(ClauseRef, PC, NextPC), 94 '$clause_term_position'(ClauseRef, NextPC, List), 102 '$break_pc'(ClauseRef, PC, _), !, 106 '$break_at'(ClauseRef, PC, true), 108 known_breakpoint(ClauseRef, PC, _Location, Id). 141 known_breakpoint(ClauseRef, PC, _Location, Id), 143 '$break_at'(ClauseRef, PC, false). 164 known_breakpoint(ClauseRef,_,_,Id), 165 clause_property(ClauseRef, file(File)). [all …]
|
H A D | check.pl | 523 clause(Head, Body, ClauseRef), 574 clause(Head, Body, ClauseRef), 619 clause(Head, Body, ClauseRef), 748 clause_property(ClauseRef, file(File)), 751 message_context(ClauseRef, _String, _Clause, clause(ClauseRef)). 985 nth_clause(Pred, N, ClauseRef), 990 clause_ref(clause_term_position(ClauseRef, TermPos), ClauseRef, ClausePos) :- 992 clause_ref(clause(ClauseRef), ClauseRef, 0). 1004 { nonvar(ClauseRef) }, 1007 predicate_indicator(clause(ClauseRef)) --> [all …]
|
H A D | prolog_codewalk.pl | 204 % - clause(+ClauseRef) 265 forall(member(ClauseRef, Clauses), 350 walk_option_clause(OTerm, ClauseRef), 437 ( ( walk_option_clause(OTerm, ClauseRef), nonvar(ClauseRef), 1066 prolog_program_clause(ClauseRef, Options) :- 1080 module_clause(Module, ClauseRef, _OTerm) :- 1107 initialization_clause(ClauseRef, OTerm) :- 1109 true, ClauseRef), 1130 prolog:message_location(clause(ClauseRef)) --> 1131 { clause_property(ClauseRef, file(File)), [all …]
|
H A D | prolog_clause.pl | 43 clause_name/2 % +ClauseRef, -Name 81 %! clause_info(+ClauseRef, -File, -TermPos, -VarOffsets) is semidet. 103 clause_info(ClauseRef, File, TermPos, NameOffset) :- 104 clause_info(ClauseRef, File, TermPos, NameOffset, []). 106 clause_info(ClauseRef, File, TermPos, NameOffset, Options) :- 108 -> clause_name(ClauseRef, Name), 110 [ClauseRef, Name]) 113 clause_property(ClauseRef, file(File)), 115 '$clause'(Head0, Body, ClauseRef, VarOffset), 127 clause_property(ClauseRef, line_count(LineNo)), [all …]
|
H A D | prolog_stack.pl | 618 guard_frame(frame(_,clause(ClauseRef, _, _))) :- 619 nth_clause(M:Head, _, ClauseRef),
|
/dports/lang/swi-pl/swipl-8.2.3/src/ |
H A D | pl-index.c | 100 ClauseRef *headp, ClauseRef *tailp, 245 static ClauseRef 247 { ClauseRef cref; in nextClauseFromBucket() 259 ClauseRef cr; in nextClauseFromBucket() 411 static ClauseRef 541 ClauseRef 569 ClauseRef 793 ClauseRef *headp, ClauseRef *tailp, in insertIntoSparseList() 860 { ClauseRef cr; in addClauseBucket() 953 ClauseRef c; in deleteClauseBucket() [all …]
|
H A D | pl-dbref.c | 46 { ClauseRef ref = PL_blob_data(aref, NULL, NULL); in write_clause_ref() 56 { ClauseRef ref = PL_blob_data(aref, NULL, NULL); in acquire_clause_blob() 64 { ClauseRef ref = PL_blob_data(aref, NULL, NULL); in release_clause_blob() 78 { ClauseRef ref = PL_blob_data(aref, NULL, NULL); in save_clause_ref() 167 ClauseRef 170 ClauseRef ref = PL_blob_data(aref, NULL, &type); in clause_clref() 236 { ClauseRef ref = data; in PL_get_dbref() 266 { ClauseRef ref; in PL_get_clref()
|
H A D | pl-wrap.c | 196 static ClauseRef 202 ClauseRef cref; in assert_wrapper() 279 { ClauseRef cref; 287 { Clause cl = ((ClauseRef)codes[1])->value.clause; 296 { ClauseRef cref; 344 ClauseRef cref = (ClauseRef)codes[1]; 431 { ClauseRef cref = (ClauseRef)codes[1];
|
H A D | pl-proc.c | 312 ClauseRef 317 ClauseRef c; in hasClausesDefinition() 1094 ClauseRef 1128 { ClauseRef o; in lingerClauseRef() 1153 { ClauseRef cref; in gcClauseRefs() 1236 ClauseRef 1239 ClauseRef cref; in assertDefinition() 1298 ClauseRef 1371 ClauseRef c; in removeClausesPredicate() 1555 static ClauseRef [all …]
|
H A D | pl-supervisor.c | 182 getClauses(Definition def, ClauseRef *refp, int max) in getClauses() 184 ClauseRef cref; in getClauses() 219 { ClauseRef cref; in singleClauseSupervisor() 254 { ClauseRef cref[2]; in listSupervisor()
|
H A D | pl-srcfile.c | 896 ClauseRef c; in startReconsultFile() 927 static ClauseRef 940 { ClauseRef cref; in advance_clause() 971 static ClauseRef 1013 ClauseRef c; in isRedefinedProcedure() 1067 ClauseRef 1072 ClauseRef cref; in assertProcedureSource() 1111 { ClauseRef del; in assertProcedureSource() 1368 ClauseRef c; in delete_old_predicate() 1427 { ClauseRef cref; in delete_pending_clauses() [all …]
|
H A D | pl-incl.h | 447 #define CL_START ((ClauseRef)1) /* asserta */ 448 #define CL_END ((ClauseRef)2) /* assertz */ 1312 ClauseRef first_clause; /* clause list of procedure */ 1313 ClauseRef last_clause; /* last clause of list */ 1322 { ClauseRef next; /* Next in list */ 1325 ClauseRef gnext; /* Next garbage clause reference */ 1437 { ClauseRef head; 1438 ClauseRef tail; 1532 ClauseRef clause; /* Current clause of frame */ 1564 { ClauseRef cref; /* Next clause reference */ [all …]
|
H A D | pl-funcs.h | 119 COMMON(ClauseRef) firstClause(Word argv, LocalFrame fr, Definition def, 121 COMMON(ClauseRef) nextClause__LD(ClauseChoice chp, Word argv, LocalFrame fr, 124 ClauseRef where); 427 COMMON(ClauseRef) hasClausesDefinition(Definition def); 445 COMMON(ClauseRef) assertDefinition(Definition def, Clause clause, 446 ClauseRef where ARG_LD); 447 COMMON(ClauseRef) assertProcedure(Procedure proc, Clause clause, 448 ClauseRef where ARG_LD); 453 COMMON(void) lingerClauseRef(ClauseRef c); 456 COMMON(ClauseRef) newClauseRef(Clause cl, word key); [all …]
|
H A D | pl-dbref.h | 42 COMMON(ClauseRef) clause_clref(atom_t aref);
|
H A D | pl-comp.h | 49 COMMON(Clause) assert_term(term_t term, Module m, ClauseRef where,
|
H A D | pl-util.c | 252 ClauseRef cref; in clauseNo()
|
H A D | pl-vmi.c | 2752 { ClauseRef cl; 2945 { ClauseRef cref = (ClauseRef)*PC++; 2968 { ClauseRef cref = (ClauseRef)*PC; 2987 ClauseRef cref; 3052 { ClauseRef cref; 3058 cref = (ClauseRef)PC[1]; 3060 cref = (ClauseRef)PC[0]; 4195 CL = (ClauseRef)rc; 5247 ClauseRef cref;
|
H A D | pl-cont.c | 432 ClauseRef cref; in push_continuation()
|
H A D | pl-comp.c | 1769 ClauseRef cref; in compileClause() 1790 cref = (ClauseRef)p; in compileClause() 3665 assert_term(term_t term, Module module, ClauseRef where, in assert_term() 3669 ClauseRef cref; in assert_term() 5679 ClauseRef cref; 5821 { ClauseRef clause; /* pointer to the clause */ 5834 ClauseRef cref; 6262 { ClauseRef cref = (ClauseRef)*bp++; in unify_vmi() 6600 ClauseRef cref; 7330 ClauseRef where = CL_END; in PL_assert()
|
H A D | pl-global.h | 345 { ClauseRef lingering; /* Unlinked clause refs */
|
/dports/lang/yap/yap-6.2.2/packages/http/ |
H A D | http_error.pl | 79 guard_frame(frame(_,clause(ClauseRef, _))) :- 80 nth_clause(M:Head, _, ClauseRef),
|
/dports/lang/swi-pl/swipl-8.2.3/src/Tests/debug/ |
H A D | test_gtrace.pl | 46 * '$break_pc'(ClauseRef, PC, NextPC) 49 * '$clause_term_position'(ClauseRef, NextPC, Path)
|
/dports/lang/swi-pl/swipl-8.2.3/packages/xpce/prolog/boot/ |
H A D | pce_portray.pl | 113 %! user:prolog_clause_name(+ClauseRef, -Name)
|