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

remove some old SWI code (unused).

Browse Source
This commit is contained in:
Vitor Santos Costa 2010-08-06 22:48:54 +01:00
parent fcbd2b34fe
commit eed3eded82
1 changed files with 2 additions and 21 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
library/coinduction.yap
View File

@ -49,7 +49,7 @@ notably on infinite trees (cyclic terms).
i(s(N)) :- i(N). i(s(N)) :- i(N).
?- X=[s(s(A))|X], stream(X). ?- X=[s(s(A))|X], stream(X).
X=[s(s(A))|X], stream(X). X= [s(s(A))|X], stream(X).
A = 0, A = 0,
X = [s(s(0)),**] X = [s(s(0)),**]
== ==
@ -67,32 +67,13 @@ regardless of the cycle-length.
by Luke Somin et al. by Luke Somin et al.
*/ */
:- meta_predicate coinductive(0). :- meta_predicate coinductive(:).
:- dynamic coinductive/3. :- dynamic coinductive/3.
%----------------------------------------------------- %-----------------------------------------------------
expand_coinductive_declaration(Spec, Clauses) :-
prolog_load_context(module, Module),
phrase(expand_specs(Spec, Module), Clauses).
expand_specs(Var, _) -->
{ var(Var), !,
instantiation_error(Var)
}.
expand_specs(M:Spec, _) --> !,
expand_specs(Spec, M).
expand_specs((A,B), Module) --> !,
expand_specs(A, Module),
expand_specs(B, Module).
expand_specs(Head, Module) -->
{ valid_pi(Head, Name, Arity),
functor(GenHead, Name, Arity)
},
[ coinduction:coinductive_declaration(GenHead, Module) ].
coinductive(Spec) :- coinductive(Spec) :-
var(Spec), var(Spec),
!, !,