		             CIL Version 4.0

1 Introduction 

CIL -- Complex Indeterminates based Language -- is a logic programming langauge
which is extended Prolog to describe complex structures of objects and 
constraints between objects with flexibility. This language is made for the 
purpose of describing natural language processing system based on situation 
semantics and linguistics like GPSG or LFG.

This language has two functional features added to Prolog. They are called 
partially specified term and lazy evaluation. With partially specified term,
knowledge and meaning can be described easily. And lazy evaluation is useful 
to describing constraints.

CIL Version 4.0 is the environment for CIL programming, and presents some 
useful tools for programming. The tools are shown as follow.

 Coordinator:       This tool starts the other tools.
 Installer:         This tool installs CIL version 4.0 on PSI - II.
 Workspace:         This tool runs programs. 
 Tracer:            This tool traces executions of programs for debugging.
 Inspector:         This tool analyzes data structures.
 Graphic Inspector: This tool pictures data structures.
 Editor:            This tool is used for editting programs. And this tool 
                    compiles programs.
 Browser:           This tool shows information on programs.


2 Environments

Machine:  PSI-II
OS:       SIMPOS Version 8.1
Language: ESP


3 Contents of CIL Version 4.0 package

This package contains the following files.

The files with *  use JIS Kanji code. Be careful of copy these files.

If you want the CIL manual, you must print out " manual.ps " with postscript 
printer.

cil/
    README
*   README.j
    INSTALL
*   INSTALL.j
    manual/
*       application.tex
*       biblio.tex
*       browser.tex
        brs.ps
        brscap.ps
        brshelp.ps
        brsmod.ps
        brspred.ps
        brsstat.ps
        cdn.ps
        cdn_select.ps
        cdn_state.ps
*       cil.tex
*       constraint.tex
*       coordinator.tex
*       customize.tex
*       dcg.tex
*       editor.tex
        edt.ps
        edtcmp.ps
        edtdired.ps
        edthelp.ps
        edtstat.ps
*       espcall.tex
*       example.tex
*       graphic.tex
        grph.ps
        index.dvi
        index.old
*       index.tex
*       index_test.tex
        ins_state.ps
        ins_win.ps
        inspector.old
*       inspector.tex
*       installer.tex
*       io.tex
        ist_menu.ps
        ist_node.ps
        ist_select.ps
        ist_state.ps
*       kl0.tex
*       library.tex
        ltb.sty
*       makeenv.tex
        makeps.sh
        manual.dvi
*       manual.idx
        manual.lof
        manual.lot
*       manual.man
        manual.ps
*       manual.tex
        manual.toc
*       messageboy.tex
*       meta.tex
*       mokuji.tex
        msb.ps
*       overview.tex
*       programing.tex
*       prolog.tex
        ps_size.ds
*       pst.tex
*       report.tex
*       spec.tex
*       tmp.tex
*       tracer.tex
        trc.ps
        trc_capsule.ps
        trc_editor.ps
        trc_gate.ps
        trc_help.ps
        trc_module.ps
        trc_spy.ps
        trc_state.ps
        trc_trace.ps
*       tst.tex
*       workspace.tex
        ws.ps
        ws_goal.ps
        ws_module.ps
        ws_state.ps
        ws_variable.ps
    src/
        cil_cap.spec
        cil_cil.spec
        cil_con.spec
        cil_dcg.spec
        cil_esp.esp
        cil_io.spec
        cil_kl0.esp
        cil_mes.spec
        cil_mta.esp
        cil_prg.spec
        cil_pst.spec
        cil_tst.spec
        ds_bep.esp
        ds_brs.esp
        ds_cmp.esp
*       ds_dic.esp
        ds_doc.doc
        ds_edt.esp
        ds_fep.esp
        ds_mdm.esp
*       es_dic.esp
        es_doc.doc
        es_gin.esp
        es_ins.esp
        es_int.esp
        es_mdm.esp
        es_trc.esp
        es_utl.esp
        es_wks.esp
        install.esp
        ms_cdn.esp
        ms_cfm.esp
*       ms_dic.esp
        ms_doc.doc
        ms_etl.esp
        ms_idm.esp
        ms_idx.esp
        ms_ist.esp
        ms_mdm.esp
        ms_msm.esp
        ms_obm.esp
        ms_spm.esp
*       ms_stm.esp
        ms_utl.esp
        spc_brs.spec
        spc_cap.spec
        spc_edt.spec
        spc_gin.spec
        spc_ins.spec
        spc_ist.spec
        spc_trc.spec
        spc_wsp.spec


4 For Installing CIL

Read the file, "INSTALL".


5 Bibliography

[1] M.Dincbas, H.Simonis, and P.V. Hentenryck.
Extending equation solving and constraint handling in logic programming.
Internal Report IR-LP-2203, ECRC, 1987.

[2] T.Amanuma, T.Suzuki, T.Okunishi, and K.Mukai.
CIL Programming kankyou (CIL Programming Environment ( in Japanese)).
In  Proceedings of the 2nd Annual Conference of Japanese Society for Artificial Intelligence, pages 211--214, 1988.

[3] L.Cardelli.
Typechecking Dependent Types and Subtypes.
Technical report, DEC Systems Research Center, 1987.

[4] K.Mukai.
Horn Clause Logic with Parameterized Types for Situation Semantics Programming.
Technical Report 101, ICOT, 1985.

[5] K.Mukai.
Unification over Complex Indterminates in Prolog.
Technical Report 113, ICOT, 1985.

[6] K.Mukai.
Anadic Tuples in Prolog.
Technical Report 239, ICOT, 1987.

[7] K.Mukai.
A System of Logic Programming for Linguistic Analysis based on Situation Semantics.
In  Proceedings of the workshop on semantic issues in human and computer languages. CSLI, 1987.

[8] K.Mukai.
Partially Specified Term in Logic Programming for Linguistic
  Analysis.
In  Proceedings of the International Conference on FGCS '88,
 1988.

[9] K.Mukai and H.Yasukawa.
 Complex Indeterminates in Prolog and its Application to
  Discourse Models, volume 3, pages 441--466.
OHMUSHA, ltd. and Spring Verlag, 1985.

[10] J.Reynolds.
Three approaches to type structures.
Lecture Note in Computer Science, volume 185, Springer Verlag, 1985.

[11] K.Sakai and Y.Sato.
Boolean Grobner bases.
Technical Memo 488, ICOT, 1988.

[12] A.Colmerauer.
Prolog-II: Reference Manual and Theoretical Model.
Internal report, Group Intelligence Artificielle, Universite d'Aix-Marseille II, 1982.

[13] J.Barwise.
Recent Developments in Situation Semantics.
In M.Nagao, editor,  Language and Artificial Intelligence, 
pages 387--399, Amsterdam, 1987. North-Holland.

[14] J.Barwise and J.Perry.
Situations and Attitudes.
MIT Press, Cambridge, 1983.