1env_dict_def(
    2     [	tex_for_prooftree	=  =(platex),
    3	lang			=  =("ja_JP.UTF-8"),
    4	dired_mark_swipl_dir	= full_name("~/local/lib/pacpl7/"),
    5	exercise_js_name	= full_name("~/public_html/cgi-bin/http_request.js"),
    6	snapshot_file		= full_name("~/Desktop/snapshot"),
    7	public_html		= full_name("~/public_html/"), 
    8	scratchfile		= full_name("~/Desktop/.scratchfile"),
    9	notify_cgi_access_by_mail	=	=(true),
   10	paths_to_exec		= maplist(full_name, 
   11					["~/local/cgi-bin/",
   12					"~/local/bin/", 
   13					"/usr/local/bin/",
   14					"/opt/texbin/",
   15					"/bin/",
   16					"/usr/bin/"])
   17    ]).
   18
   19file_search_path_def(
   20     [	   
   21	lib	=	full_name("~/local/lib/pacpl7/"),
   22	pac	=	full_name("~/local/lib/pacpl7/"),
   23	log	=	full_name("~/local/log/"),
   24	tmp	=	full_name("~/tmp/"), 
   25	desktop =	full_name("~/Desktop/"), 
   26	test	=	full_name("~/public_html/test/"),
   27	html	=	full_name("~/public_html/"),
   28	bib	=	full_name("~/Library/texmf/bibtex/bib/"),
   29	home	=	full_name("~/"),
   30	(~)	=	full_name("~/")				
   31     ]).
   32
   33pac:view_default(
   34	[ out(pdf), 
   35	  counter_name(graph_counter),
   36	  stem("dot_graph"),
   37	  home(H),
   38	  user_name(U),
   39	  http_dir("/cgi-bin/deldel"),
   40	  subdirectory("/public_html/cgi-bin/deldel")
   41	])	:-	env_dict(home_name, H), 
   42			env_dict(user_name, U)