Home
last modified time | relevance | path

Searched refs:ClauseRef (Results 1 – 25 of 32) sorted by relevance

12

/dports/lang/swi-pl/swipl-8.2.3/packages/xpce/prolog/lib/trace/
H A Dclause.pl96 % 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 Dtrace.pl450 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 Dprolog_breakpoints.pl89 '$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 Dcheck.pl523 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 Dprolog_codewalk.pl204 % - 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 Dprolog_clause.pl43 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 Dprolog_stack.pl618 guard_frame(frame(_,clause(ClauseRef, _, _))) :-
619 nth_clause(M:Head, _, ClauseRef),
/dports/lang/swi-pl/swipl-8.2.3/src/
H A Dpl-index.c100 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 Dpl-dbref.c46 { 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 Dpl-wrap.c196 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 Dpl-proc.c312 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 Dpl-supervisor.c182 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 Dpl-srcfile.c896 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 Dpl-incl.h447 #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 Dpl-funcs.h119 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 Dpl-dbref.h42 COMMON(ClauseRef) clause_clref(atom_t aref);
H A Dpl-comp.h49 COMMON(Clause) assert_term(term_t term, Module m, ClauseRef where,
H A Dpl-util.c252 ClauseRef cref; in clauseNo()
H A Dpl-vmi.c2752 { 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 Dpl-cont.c432 ClauseRef cref; in push_continuation()
H A Dpl-comp.c1769 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 Dpl-global.h345 { ClauseRef lingering; /* Unlinked clause refs */
/dports/lang/yap/yap-6.2.2/packages/http/
H A Dhttp_error.pl79 guard_frame(frame(_,clause(ClauseRef, _))) :-
80 nth_clause(M:Head, _, ClauseRef),
/dports/lang/swi-pl/swipl-8.2.3/src/Tests/debug/
H A Dtest_gtrace.pl46 * '$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 Dpce_portray.pl113 %! user:prolog_clause_name(+ClauseRef, -Name)

12