eam.yap

Go to the documentation of this file.

/*************************************************************************
*                                    *
*    YAP Prolog                              *
*                                    *
*   Yap Prolog was developed at NCCUP - Universidade do Porto    *
*       BEAM extends the YAP Prolog system to support the EAM            *
*                                    *
*    Copyright Ricardo Lopes and Universidade do Porto 2000-2006     *
*                                    *
**************************************************************************
*                                    *
* File:     eam.yap                              *
* Last rev: 6/4/2006                         *
* mods:                                  *
* comments: Some utility predicates needed by BEAM               *
*                                    *
*************************************************************************/
 
/**
  * @file   eam.yap
  * @author VITOR SANTOS COSTA <vsc@VITORs-MBP-2.lan>
  * @date   Thu Oct 19 11:50:05 2017
  * 
  * @brief  Extended Abstract Machine
  * @defgroup EAM Extended Abstract Machine
  * @ingroup extensions
  * 
  * 
*/
 
:- system_module( '$_eam', [eamconsult/1,
        eamtrans/2], []).
 
eamtrans(A,A):- var(A),var.
eamtrans((A,B),(C,D)):- eamtrans, eamtrans(A,C),eamtrans(B,D).
eamtrans((X is Y) ,(skip_while_var(Vars), X is Y  )):- eamtrans, '$variables_in_term'(Y,[],Vars).
eamtrans((X =\= Y),(skip_while_var(Vars), X =\= Y )):- eamtrans, '$variables_in_term'(X + Y,[],Vars).
eamtrans((X =:= Y),(skip_while_var(Vars), X =:= Y )):- eamtrans, '$variables_in_term'(X + Y,[],Vars).
eamtrans((X >= Y) ,(skip_while_var(Vars), X >= Y  )):- eamtrans, '$variables_in_term'(X + Y,[],Vars).
eamtrans((X > Y)  ,(skip_while_var(Vars), X > Y   )):- eamtrans, '$variables_in_term'(X + Y,[],Vars).
eamtrans((X < Y)  ,(skip_while_var(Vars), X < Y   )):- eamtrans, '$variables_in_term'(X + Y,[],Vars).
eamtrans((X =< Y) ,(skip_while_var(Vars), X =< Y  )):- eamtrans, '$variables_in_term'(X + Y,[],Vars).
eamtrans((X @>= Y) ,(skip_while_var(Vars), X @>= Y  )):- eamtrans, '$variables_in_term'(X + Y,[],Vars).
eamtrans((X @> Y)  ,(skip_while_var(Vars), X @> Y   )):- eamtrans, '$variables_in_term'(X + Y,[],Vars).
eamtrans((X @< Y)  ,(skip_while_var(Vars), X @< Y   )):- eamtrans, '$variables_in_term'(X + Y,[],Vars).
eamtrans((X @=< Y) ,(skip_while_var(Vars), X @=< Y  )):- eamtrans, '$variables_in_term'(X + Y,[],Vars).
 
eamtrans((X \= Y) ,(skip_while_var(Vars), X \= Y  )):- eamtrans, '$variables_in_term'(X + Y,[],Vars).
eamtrans((X \== Y),(skip_while_var(Vars), X \== Y )):- eamtrans, '$variables_in_term'(X + Y,[],Vars).
 
eamtrans(B,B).
 
eamconsult(File):- eamconsult, eamconsult,                    %fails if eam is disable
                assert((user:term_expansion((A :- B),(A :- C)):- eamtrans(B,C))),
                assert, ( consult(File) ; consult), eam,
        abolish(user:term_expansion,2).