comparison prolog/plml.pl @ 37:89688ebc447f tip

Deprecating this repository.

 	% Utilities
 	,	compileoptions/2
 	,	multiplot/2
 	,  mhelp/1
 	
-	,	op(650,fy,`)	 	% quoting things
-	,	op(160,xf,``)		% postfix transpose operator
+	,	op(650,fy,'`')	 	% quoting things
+	,	op(160,xf,'``')		% postfix transpose operator
 	,	op(100,fy,@)		% function handles
 
 	% note slightly reduced precedence of array operators -
 	% hope this doesn't break everything...
 	,	op(210,xfy,.^) 	% array exponentiation

 	,	op(750,fy,\\)		% thunk abdstraction
 	,  op(750,xfy,\\)    % lambda abdstraction
 
 	% exported after being imported from ops
 	,	op(1100,xfx,::)	% type specification (esp for arrays)
+	,	op(550,xfx,..)		% range of integers
 	]).
 	
 
 :- multifile(user:optionset/2).
 :- multifile(user:matlab_path/2).

 	Deprecate old array(Vals::Type) and cell(Vals::Type) left-value syntax.
 
 	Remove I from ml_expr//2 and add to mx type?
 */
 	  
-:- use_module(library(debug)).
 :- use_module(library(apply_macros)).
-:- use_module(library(utils), [hostname/1]).
-:- use_module(library(dcgu)).
-:- use_module(library(ops)).
+:- use_module(library(dcg_core)).
+:- use_module(library(dcg_codes)).
+
+:- set_prolog_flag(back_quotes,symbol_char).
+:- set_prolog_flag(double_quotes,codes).
 
 :- op(700,xfx,===). % variable binding/assignment in matlab query
 :- op(951,fx,??).  % evaluate term as matlab
 :- op(951,fx,???). % evaluate term as matlab boolean
 :- op(650,fy,`).	 % quoting things

 
 ml_closeall :-
 	forall(current_engine(Id), ml_close(Id)).
 
 
+% from utils.pl
+bt_call(Do,Undo)  :- Do, (true ; once(Undo), fail).
+user:goal_expansion( bt_call(Do,Undo), (Do, (true;	once(Undo), fail))).
+
 %% matlab_init( -Key, -Cmd:ml_expr) is nondet.
 %  Each user-defined clause of matlab_init/2 causes Cmd to be executed
 %  whenever a new Matlab session is started.
 
 %% matlab_path( -Key, -Path:list(atom)) is nondet.

 %    * debug(In,Out)
 %      if present, Matlab is started in a script which captures standard 
 %      input and output to files In and Out respectively. (tbd)
 %    * cmd(Cmd:atom)
 %      Call Cmd as the matlab executable. Default is 'matlab' (i.e. search
-%      for matlab on the PATH).. Can be used to select a different executable
+%      for matlab on the PATH). Can be used to select a different executable
 %      or to add command line options.
 %    * awt(Flag:bool)
 %      If false (default), call Matlab with -noawt option. Otherwise, Java graphics
 %      will be available.
 

 stmt(I,Expr)       --> !, ml_expr(I,Expr).
 
 
 %% ml_expr(+Id:ml_eng,+X:ml_expr(A))// is nondet.
 %  Convert Matlab expression as a Prolog term to string representation.
-ml_expr(_,\X)         --> !, X.
+ml_expr(_,\X)         --> !, phrase(X).
 ml_expr(I,$X)         --> !, {pl2ml_hook(X,Y)}, ml_expr(I,Y).
 ml_expr(I,q(X))       --> !, q(stmt(I,X)).
 ml_expr(I,qq(X))      --> !, qq(stmt(I,X)).
 ml_expr(_,tq(X))      --> !, q(pl2tex(X)).
 ml_expr(_,atom(X))    --> !, atm(X).

 ml_expr(_,(A,B))      --> {throw(ml_illegal_expression((A,B)))}.
 ml_expr(_,A=B)        --> {throw(ml_illegal_expression(A=B))}.
 
 % these are the catch-all clauses which will deal with matlab names, and literals
 % should we filter on the head functor?
+ml_expr(_,A) --> {string(A)}, !, q(str(A)).
 ml_expr(_,A) --> {atomic(A)}, !, atm(A).
 ml_expr(I,F) --> {F=..[H|AX]}, atm(H), arglist(I,AX).
 
 ml_expr_with(I,Lambda,Y) --> {copy_term(Lambda,Y\\PY)}, ml_expr(I,PY).
 	

 pl2tex(A)    --> {atomic(A)}, escape_with(0'\\,0'_,at(A)). 
 pl2tex(A) --> 
 	{compound(A), A=..[H|T] }, 
 	pl2tex(H), paren(seqmap_with_sep(", ",pl2tex,T)).
 
+hostname(H) :-
+   (  getenv('HOSTNAME',H) -> true
+   ;  setup_call_cleanup(open(pipe(hostname),read,S),
+                         read_line_to_codes(S,Codes),
+                         close(S)), atom_codes(H,Codes)
+   ).