diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

write

Browse Source
This commit is contained in:
Vitor Santos Costa 2019-02-09 09:43:26 +00:00
parent d0f05d3578
commit 24b6908225
2 changed files with 113 additions and 37 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

121
C/terms.c
View File

@ -67,6 +67,8 @@ static int expand_vts(int args USES_REGS) {
return true; return true;
} }
static inline void clean_tr(tr_fr_ptr TR0 USES_REGS) { static inline void clean_tr(tr_fr_ptr TR0 USES_REGS) {
tr_fr_ptr pt0 = TR; tr_fr_ptr pt0 = TR;
while (pt0 != TR0) { while (pt0 != TR0) {
@ -86,6 +88,26 @@ static inline void clean_tr(tr_fr_ptr TR0 USES_REGS) {
TR = TR0; TR = TR0;
} }
//#define CELL *pt0, *pt0_end, *ptf;
//} non_singletons_t;
#define IS_VISIT_MARKER \
(IsPairTerm(d0) && RepPair(d0)>=(CELL*)to_visit0 && RepPair(d0) <= (CELL*)to_visit)
#define VISIT_MARKER AbsPair((CELL*)to_visit)
#define CYC_MARK_LIST \
if (IsPairTerm(d0) && RepPair(d0)>=(CELL*)to_visit0 && RepPair(d0) <= (CELL*)to_visit) { \
/*fprintf(stderr,"+%ld at %s\n", to_visit-to_visit0, __FUNCTION__);*/ \
MaBind(ptd0, BREAK_LOOP(*RepPair(d0))); \
} \
#define CYC_MARK_APPL \
if (IsApplTerm(d0) && RepAppl(d0)>=(Term*)to_visit0 && RepAppl(d0) <= (Term*)to_visit) { \
/*fprintf(stderr,"+%ld at %s\n", to_visit-to_visit0, __FUNCTION__);*/ \
MaBind(ptd0, BREAK_LOOP(*RepAppl(d0))); \
} \
typedef struct { typedef struct {
Term old_var; Term old_var;
@ -124,14 +146,14 @@ while (pt0 < pt0_end) { \
ptd0 = RepPair(d0); \ ptd0 = RepPair(d0); \
d0 = ptd0[0]; \ d0 = ptd0[0]; \
LIST0; \ LIST0; \
if (d0 == TermFreeTerm) \ if (IS_VISIT_MARKER) \
goto restart; \ goto restart; \
to_visit->pt0 = pt0; \ to_visit->pt0 = pt0; \
to_visit->pt0_end = pt0_end; \ to_visit->pt0_end = pt0_end; \
to_visit->ptd0 = ptd0; \ to_visit->ptd0 = ptd0; \
to_visit->d0 = d0; \ to_visit->d0 = d0; \
to_visit++; \ to_visit++; \
*ptd0 = TermFreeTerm; \ *ptd0 = VISIT_MARKER; \
pt0 = ptd0; \ pt0 = ptd0; \
pt0_end = pt0 + 1; \ pt0_end = pt0 + 1; \
goto list_loop; \ goto list_loop; \
@ -145,7 +167,7 @@ while (pt0 < pt0_end) { \
goto aux_overflow; \ goto aux_overflow; \
} \ } \
STRUCT0; \ STRUCT0; \
if (IsExtensionFunctor(f) || f == FunctorDollarVar || IsAtomTerm((CELL)f)) { \ if (IS_VISIT_MARKER) { \
\ \
continue; \ continue; \
} \ } \
@ -155,7 +177,7 @@ while (pt0 < pt0_end) { \
to_visit->d0 = d0; \ to_visit->d0 = d0; \
to_visit++; \ to_visit++; \
\ \
*ptd0 = TermNil; \ *ptd0 = VISIT_MARKER; \
Term d1 = ArityOfFunctor(f); \ Term d1 = ArityOfFunctor(f); \
pt0 = ptd0; \ pt0 = ptd0; \
pt0_end = ptd0 + d1; \ pt0_end = ptd0 + d1; \
@ -164,7 +186,7 @@ while (pt0 < pt0_end) { \
PRIMI0; \ PRIMI0; \
continue; \ continue; \
} \ } \
derefa_body(d0, ptd0, var_in_term_unk, var_in_term_nvar); derefa_body(d0, ptd0, var_in_term_unk, var_in_term_nvar)
#define WALK_COMPLEX_TERM() WALK_COMPLEX_TERM__({}, {}, {}) #define WALK_COMPLEX_TERM() WALK_COMPLEX_TERM__({}, {}, {})
@ -244,15 +266,13 @@ while (to_visit > to_visit0) { \
/** /**
@brief routine to locate all variables in a term, and its applications */ @brief routine to locate all variables in a term, and its applications */
static Term cyclic_complex_term(register CELL *pt0, static Term
register CELL *pt0_end USES_REGS) { cyclic_complex_term( CELL *pt0, CELL *pt0_end USES_REGS) {
int lvl = push_text_stack();
int lvl = push_text_stack(); \
WALK_COMPLEX_TERM__(CYC_LIST, CYC_APPL, {}); WALK_COMPLEX_TERM__(CYC_LIST, CYC_APPL, {});
/* leave an empty slot to fill in later */ /* leave an empty slot to fill in later */
END_WALK(); END_WALK();
return false; return false;
def_aux_overflow(); def_aux_overflow();
@ -283,6 +303,56 @@ static Int cyclic_term(USES_REGS1) /* cyclic_term(+T) */
return Yap_IsCyclicTerm(Deref(ARG1)); return Yap_IsCyclicTerm(Deref(ARG1));
} }
static Term BREAK_LOOP(Int ddep) {
char buf[64];
snprintf(buf, 63, "@^[" Int_FORMAT "]", ddep);
return MkAtomTerm(Yap_LookupAtom(buf));
}
/**
@brief routine to locate all variables in a term, and its applications */
static Term cycles_in_complex_term(register CELL *pt0,
register CELL *pt0_end USES_REGS) {
int lvl = push_text_stack(); \
WALK_COMPLEX_TERM__(CYC_MARK_LIST, CYC_MARK_APPL, {});
/* leave an empty slot to fill in later */
END_WALK();
return false;
def_aux_overflow();
}
bool Yap_CyclesInTerm(Term t USES_REGS) {
if (IsVarTerm(t)) {
return false;
} else if (IsPrimitiveTerm(t)) {
return false;
} else {
return cycles_in_complex_term(&(t)-1, &(t) PASS_REGS);
}
}
/** @pred cycles_in_term( + _T_ )
Succeeds if the graph representation of the term has markers in every loop. Say,
the representation of a term `X` that obeys the equation `X=[X]`
term has a loop from the list to its head.
*/
static Int cycles_in_term(USES_REGS1) /* cyclic_term(+T) */
{
return Yap_CyclesInTerm(Deref(ARG1));
}
/** /**
@brief routine to locate all variables in a term, and its applications */ @brief routine to locate all variables in a term, and its applications */
@ -1187,11 +1257,6 @@ static Int largest_numbervar(USES_REGS1) {
return Yap_unify(MaxNumberedVar(Deref(ARG1), 2 PASS_REGS), ARG2); return Yap_unify(MaxNumberedVar(Deref(ARG1), 2 PASS_REGS), ARG2);
} }
static Term BREAK_LOOP(Int ddep) {
char buf[64];
snprintf(buf, 63, "@^[" Int_FORMAT "]", ddep);
return MkAtomTerm(Yap_LookupAtom(buf));
}
static Term UNFOLD_LOOP(Term t, Term *b) { static Term UNFOLD_LOOP(Term t, Term *b) {
Term os[2], o; Term os[2], o;
@ -1212,6 +1277,13 @@ typedef struct block_connector {
CELL reference; //> term used to refer the copy. CELL reference; //> term used to refer the copy.
} cl_connector; } cl_connector;
static bool
dataid(Term t, cl_connector *q)
{
Int i = IntegerOfTerm(t);
cl_connector *d = q+i;
return d->me == i; //&& d->source == (void *;
}
static Int static Int
create_entry(Term t, Int i, Int j, cl_connector *q, Int max) create_entry(Term t, Int i, Int j, cl_connector *q, Int max)
@ -1233,17 +1305,17 @@ create_entry(Term t, Int i, Int j, cl_connector *q, Int max)
ref = AbsAppl(ostart); ref = AbsAppl(ostart);
*ostart++ = s[0]; *ostart++ = s[0];
} }
if (H0 > s) { if (IsIntegerTerm(s[0]) && dataid(s[0], q)) {
return (s[0]-EndSpecials)/sizeof(CELL); return IntegerOfTerm(s[0]);
} }
q[max].me = max; q[max].me = max;
q[max].source = t; q[max].source = t;
q[max].copy = ostart; q[max].copy = ostart;
q[max].header = s[0]; q[max].header = s[0];
q[max].reference = ref; q[max].reference = ref;
s[0] = max*sizeof(CELL)+EndSpecials; s[0] = MkIntegerTerm(max);
HR += n; HR += n;
max++;
return max; return max;
} }
@ -1252,8 +1324,12 @@ Int cp_link(Term t,Int i, Int j, cl_connector *q, Int max, CELL *tailp)
{ {
Int me; Int me;
printf("%lx i=%ld,max=%ld,H=%p\n", t, i, max, HR),
t = Deref(t); t = Deref(t);
if (IsVarTerm(t) || IsPrimitiveTerm(t)) { if (IsVarTerm(t) || IsPrimitiveTerm(t)) {
if (IsIntegerTerm(t) && dataid(t,q)) {
t = q[IntegerOfTerm(t)].header;
}
q[i].copy[j] = t; q[i].copy[j] = t;
return max; return max;
} }
@ -1270,7 +1346,6 @@ Int cp_link(Term t,Int i, Int j, cl_connector *q, Int max, CELL *tailp)
return max+1; return max+1;
} }
Term Yap_BreakCycles(Term inp, UInt arity, Term *listp USES_REGS) { Term Yap_BreakCycles(Term inp, UInt arity, Term *listp USES_REGS) {
int lvl = push_text_stack(); int lvl = push_text_stack();
@ -1280,14 +1355,13 @@ Term Yap_BreakCycles(Term inp, UInt arity, Term *listp USES_REGS) {
cl_connector *q = Malloc(qsize * sizeof(cl_connector)); cl_connector *q = Malloc(qsize * sizeof(cl_connector));
Term *s; Term *s;
Int i=0; Int i=0;
qlen = 0;
HB=HR; HB=HR;
if (IsVarTerm(t) || IsPrimitiveTerm(t)) { if (IsVarTerm(t) || (IsIntegerTerm(t) && !dataid(t,q))) {
return t; return t;
} else { } else {
// initialization // initialization
qlen = cp_link(t, i++, 1, q, qlen, listp); qlen = cp_link(t, 0, 0, q, qlen, listp);
while(i < qlen) { while(i < qlen) {
arity_t n, j; arity_t n, j;
if (IsPairTerm( q[i].source )) { if (IsPairTerm( q[i].source )) {
@ -1358,6 +1432,7 @@ void Yap_InitTermCPreds(void) {
Yap_InitCPred("variable_in_term", 2, variable_in_term, 0); Yap_InitCPred("variable_in_term", 2, variable_in_term, 0);
Yap_InitCPred("variables_within_term", 3, p_variables_within_term, 0); Yap_InitCPred("variables_within_term", 3, p_variables_within_term, 0);
Yap_InitCPred("new_variables_in_term", 3, p_new_variables_in_term, 0); Yap_InitCPred("new_variables_in_term", 3, p_new_variables_in_term, 0);
Yap_InitCPred("cyles_in_term", 4, cycles_in_term, 0);
CurrentModule = PROLOG_MODULE; CurrentModule = PROLOG_MODULE;
Yap_InitCPred("$non_singletons_in_term", 3, p_non_singletons_in_term, 0); Yap_InitCPred("$non_singletons_in_term", 3, p_non_singletons_in_term, 0);

5
C/write.c
View File

@ -1102,9 +1102,10 @@ void Yap_plwrite(Term t, StreamDesc *mywrite, int max_depth, int flags,
wglb.MaxArgs = 0 ; wglb.MaxArgs = 0 ;
wglb.lw = separator; wglb.lw = separator;
if ((flags & Handle_cyclics_f) && Yap_IsCyclicTerm(t) ){ if ((flags & Handle_cyclics_f) ){
t = Yap_BreakCycles(t, 3, NULL PASS_REGS); t = Yap_CyclesInTerm(t, 3, NULL PASS_REGS);
} }
/* protect slots for portray */ /* protect slots for portray */
writeTerm(t, priority, 1, false, &wglb, &rwt); writeTerm(t, priority, 1, false, &wglb, &rwt);
if (flags & New_Line_f) { if (flags & New_Line_f) {