237 Lines

11 Predicates

Imported Modules: debug

4 Exports

3 specified Imports

Imports	Exports
Name: module_info/2 Module: module_information Name: exclude/3 Module: lists Name: ord_member/2 Module: ordsets	Name: rename_norm_term/3 Name: member_in_norm_conjunction/2 Name: not_occurs/2 Name: occurs/2

Imports

Exports

Name: module_info/2

Module: module_information

Name: exclude/3

Module: lists

Name: ord_member/2

Module: ordsets

Name: rename_norm_term/3

Name: member_in_norm_conjunction/2

Name: not_occurs/2

Name: occurs/2

Predicates

Predicates:

bin_op/1

clash_with_new/2

l_rename_norm_terms/3

list_op/3

member_in_norm_conjunction/2

l_rename_norm_terms/3

list_op/3

member_in_norm_conjunction/2

rename_norm_term('$'(X),Subst,Res) :- !,
    (member(rename(X,NewTerm),Subst) % TODO : use ord_member
    -> Res=NewTerm
    ; Res='$'(X)).

rename_norm_term(conjunct(A,B),Subst,conjunct(SA,SB)) :- !,
    rename_norm_term(A,Subst,SA), rename_norm_term(B,Subst,SB).

rename_norm_term(if_then_else(A,B,C),Subst,if_then_else(SA,SB,SC)) :- !,
    rename_norm_term(A,Subst,SA), rename_norm_term(B,Subst,SB), rename_norm_term(C,Subst,SC).

rename_norm_term(equal(A,B),Subst,equal(SA,SB)) :- !,
    rename_norm_term(A,Subst,SA), rename_norm_term(B,Subst,SB).

rename_norm_term(function(A,B),Subst,function(SA,SB)) :- !,
    rename_norm_term(A,Subst,SA), rename_norm_term(B,Subst,SB).

rename_norm_term(field(F,B),Subst,field(F,SB)) :- !,
    rename_norm_term(B,Subst,SB).

rename_norm_term(record_field(Rec,FieldName),Subst,record_field(Rec,FieldName)) :- !,
    rename_norm_term(Rec,Subst,Rec).

rename_norm_term(member(A,B),Subst,member(SA,SB)) :- !,
    rename_norm_term(A,Subst,SA), rename_norm_term(B,Subst,SB).

rename_norm_term(rec(F),Subst,rec(SF)) :- !,
    l_rename_norm_terms(F,Subst,SF).

rename_norm_term(Nr,_,Res) :- simple_norm_term(Nr),!,Res=Nr.

rename_norm_term(QOP,Subst,RQOP) :-
    quantified_op(QOP,Functor,Ids,Exprs,Bodies),!,
    l_rename_norm_terms(Exprs,Subst,RExprs),
    sort(Ids,SIds),
    % TO DO: also ensure Subst is sorted and use linear algo
    exclude(clash_with_new(SIds),Subst,NSubst),
    %print(clashing(SIds,Subst,NSubst,Bodies)),nl,
    l_rename_norm_terms(Bodies,NSubst,RBodies),
    quantified_op(RQOP,Functor,Ids,RExprs,RBodies).

rename_norm_term(Term,Subst,RenTerm) :- functor(Term,BOP,2), bin_op(BOP),!,
    functor(RenTerm,BOP,2),
    arg(1,Term,A), arg(1,RenTerm,RA), rename_norm_term(A,Subst,RA),
    arg(2,Term,B), arg(2,RenTerm,RB), rename_norm_term(B,Subst,RB).

rename_norm_term(Term,Subst,RenTerm) :- functor(Term,UOP,1), un_op(UOP),!,
    functor(RenTerm,UOP,1),
    arg(1,Term,A), arg(1,RenTerm,RA), rename_norm_term(A,Subst,RA).

rename_norm_term(Term,Subst,RenTerm) :- list_op(Term,Kind,List),!,
    list_op(RenTerm,Kind,RList),
    l_rename_norm_terms(List,Subst,RList).

rename_norm_term(A,_,_) :- print(uncovered_renaming(A)),nl,fail.

simple_norm_term/1

un_op/1

Determinacy Checker

Determinacy Checker:

! Existence error in argument 1 of absolute_file_name/3
! file probsrc(module_information) does not exist
! goal: absolute_file_name(probsrc(module_information),_261,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/well_def/well_def_tools.pl')])

Name: RECURSIVE_CALL/3	Module: well_def_tools
Name: !
Name: rename_norm_term/3	Module: well_def_tools

Name: true
Name: fail
Name: debug_println/2	Module: foo_error
Name: occurs/2	Module: well_def_tools
Name: ->/3

Name: RECURSIVE_CALL/2	Module: well_def_tools
Name: member/2
Name: =../2
Name: fail
Name: !
Name: true
Name: ->/3
Name: =/2

Name: fail
Name: nl
Name: print/1
Name: l_rename_norm_terms/3	Module: well_def_tools
Name: list_op/3	Module: well_def_tools
Name: !
Name: RECURSIVE_CALL/3	Module: well_def_tools
Name: arg/3
Name: functor/3
Name: un_op/1	Module: well_def_tools
Name: bin_op/1	Module: well_def_tools
Name: quantified_op/5	Module: well_def_tools
Name: exclude/3	Module: lists
Name: sort/2
Name: =/2
Name: simple_norm_term/1	Module: well_def_tools
Name: member/2
Name: ->/3

well_def_tools

prob_prolog/src/well_def/well_def_tools.pl

Modules

Predicates of well_def_tools

Module Information

237 Lines

11 Predicates

Imported Modules: debug

4 Exports

3 specified Imports

Predicates:

bin_op/1

clash_with_new/2

l_rename_norm_terms/3

list_op/3

member_in_norm_conjunction/2

not_occurs/2

occurs/2

quantified_op/5

rename_norm_term/3

simple_norm_term/1

un_op/1

Determinacy Checker: