% $OpenXM: OpenXM/doc/calc2000p/client.tex,v 1.1 2000/07/20 07:05:28 takayama Exp $
\documentclass{slides}
\usepackage{color}
\begin{document}
\fbox{{\huge \color{blue} OpenXM Clients}}

\noindent
{\color{red} Asir} (Risa/Asir):
A general computer algebra system developed at Fujitsu Lab.
C-like top level language.

\noindent
{\color{red} Java} :
Java classes to access to servers.

\noindent
{\color{red} KLIC } :
  A {\color{green} concurrent logic} programming language based
on Guarded Horn Clauses (born in the fifth generation computer project). \\
 {\color{green} www.klic.org}, {\color{red} MGTP} (Theorem prover).

\noindent
{\color{red} Mathematica} 

\noindent
{\color{red} sm1} :
Postscript-like top level language



\end{document}