% $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}