spiro@a.gp.cs.cmu.edu (Spiro Michaylov) (01/14/90)
I'm posting this message for Joxan Jaffar, IBM Research (joxan@ibm.com) ...
===========================================================================
CLP(R) for Institutions outside the U.S.A.
------------------------------------------
An experimental version of the CLP(R) system is now available to
institutions outside the United States. If you are in such an
institution and wish to receive a copy of CLP(R), please obtain
a hard copy of the form provided below (in LaTeX format), fill in
the blanks appropriately, sign it, and return the hard copy to
the address indicated.
(For institutions in the U.S., just e-mail me if you want a copy
of the system).
Joxan Jaffar
--------------- cut here -------------------------------------------
%==============NON EXPORT/REEXPORT ASSURANCE========================
%
% To obtain a copy of the experimental software CLP(R),
% this form must be completed and returned to:
%
% Joxan Jaffar
% IBM Thomas J. Watson Research Center
% P.O. Box 218
% Yorktown Heights
% N.Y. 10598
% U.S.A.
% (Internet: joxan@ibm.com; Bitnet: joxan@yktvmh)
%
% Instructions:
% 1. Fill in the first four blanks below with the
% name of your institution.
% 2. Fill in the last blank with the name of the contact person.
%
%==================================================================
\documentstyle{article}
\pagestyle{empty}
\begin{document}
\begin{tabbing}
\hspace{0.5in} \= \kill
{\bf Name: } \rule{3in}{0.1mm} \\
{\bf Institution: } \rule{3in}{0.1mm} \\
{\bf Full postal address: } \\
\> \rule{3in}{0.1mm} \\
\> \rule{3in}{0.1mm} \\
\> \rule{3in}{0.1mm} \\
{\bf E-mail address: } \rule{3in}{0.1mm}
\end{tabbing}
requests from the IBM Thomas J. Watson Research Center,
P.O. Box 218, Yorktown Heights, NY 10598, U.S.A., a copy
of the following program:
\begin{tabbing}
\hspace{0.5in} \= \kill
\> {\bf Program name:} CLP(R) \\
\> {\bf Version:} 1.0 \\
\> {\bf Purpose:}
Compile and execute programs written in the CLP(R) language; \\
\> {\bf Media:} DOS-formatted 5.25 inch floppy diskette
\end{tabbing}
for use in research and educational projects only.
\rule{2in}{0.1mm}
agrees to comply, and do all things necessary
for IBM to comply, with all applicable United States Federal, State
and local laws, regulations and ordinances insofar as they relate to
the services to be performed under this Agreement.
In using the aforementioned program,
\rule{2in}{0.1mm}
personnel may have access to certain data which is
controlled by the U.S. Export Administration Act of 1979, as
amended (and its implementing regulations, as amended).
This Act prohibits the export of certain
types of technical data to specified countries (including,
but not limited to, Afghanistan, Albania, Bulgaria, Cambodia,
Chile, Cuba, Czechoslovakia, Estonia, German Democratic Republic
(including East Berlin), Hungary, Iran, Iraq,
Laos, Latvia, Libya, Lithuania, Mongolian People's Republic, Nicaragua,
North Korea, People's Republic of China, Poland, Romania, Syria,
Union of Soviet Socialist Republics, and Vietnam).
Therefore, as part of their obligations hereunder,
\rule{2in}{0.1mm}
and its employees agree to comply
with such Act and hereby give written assurance that
\rule{2in}{0.1mm}
and its employees will not export or
re-export any such data, except as permitted by such Act.
It is also understood that University shall not allow nationals of the
above listed countries to participate in the work related to this
Agreement.
This Agreement is conditioned upon Mr.
\rule{2in}{0.1mm}
obtaining all necessary documents and approvals required by both
his government and the United States Government which will permit
him to use the aforementioned program under this Agreement.
\vspace*{0.5in}
{\bf Signature:} \hspace*{3in} {\bf Date: }
\end{document}hemmendd@unvax.union.edu (David Hemmendinger) (03/26/91)
Is CLP(R) is available by ftp and if so, where is it? Thanks. David Hemmendinger Dept of EE/CS Union College Schenectady, NY 12308 hemmendd@athena.union.edu hemmendd@union.bitnet
ty@springs.cis.ufl.edu (Tyng-Jing Yang) (04/06/91)
Hi, Anyone else use CLP(R) (Constraint Logic Programming on Real domain) compiler/interpretor to do programming works ? I'm interested to discuss problem/question with others when using CLP(R) to program. Jing