Name | Size | Rev. | Time | Author | Log Message |
---|---|---|---|---|---|
readme.pdf | 11.97 k | r16 | 2009-01-13 19:52:32 | hniwa | registed documents sources. |
Explain-en.pdf | 21.15 k | r201 | 2009-02-05 23:14:22 | hniwa | English translation of explain.txt |
Explain.pdf | 51.89 k | r232 | 2009-02-09 00:14:20 | hniwa | The addition of explanation |
foruse.pdf | 25.06 k | r16 | 2009-01-13 19:52:32 | hniwa | registed documents sources. |
builtin-en.pdf | 34.25 k | r958 | 2009-08-09 21:31:14 | hniwa | addition of NEXTINDENT manual. |
builtin.pdf | 72.36 k | r958 | 2009-08-09 21:31:14 | hniwa | addition of NEXTINDENT manual. |
soft.doc | 20 k | r16 | 2009-01-13 19:52:32 | hniwa | registed documents sources. |
descartes.doc | 110 k | r706 | 2009-04-12 21:41:48 | hniwa | renewal of sysmodule manual. |
matrix.txt | 3.38 k | r990 | 2009-09-20 15:04:56 | hniwa | update of matrix manuals. |
matrix-en.txt | 3.79 k | r990 | 2009-09-20 15:04:56 | hniwa | update of matrix manuals. |
cursesmodule.pdf | 34.03 k | r670 | 2009-04-08 21:53:49 | hniwa | Renewal of manual for new release |
compmodule-en.txt | 1.38 k | r749 | 2009-04-21 21:47:05 | hniwa | GetConst, AddConst, and CheckConst ar... |
compmodule.txt | 1.1 k | r749 | 2009-04-21 21:47:05 | hniwa | GetConst, AddConst, and CheckConst ar... |
cursesmodule-en.pdf | 16.29 k | r670 | 2009-04-08 21:53:49 | hniwa | Renewal of manual for new release |
toDo.txt | 245 | r714 | 2009-04-13 22:06:28 | hniwa | Renewal of sysmodule manual |
INSTALL-en.txt | 647 | r224 | 2009-02-08 13:31:04 | hniwa | Change of the installation method |
descartes-en.pdf | 111.78 k | r223 | 2009-02-08 13:25:44 | hniwa | Description of setvar of a manual is ... |
readme | 2.02 k | r16 | 2009-01-13 19:52:32 | hniwa | registed documents sources. |
sysmodule-en.txt | 13.09 k | r929 | 2009-07-30 21:55:47 | hniwa | Addition of manual of character strin... |
sysmodule.txt | 10.79 k | r929 | 2009-07-30 21:55:47 | hniwa | Addition of manual of character strin... |
readme.txt | 2.15 k | r16 | 2009-01-13 19:52:32 | hniwa | registed documents sources. |
matrix.pdf | 32.69 k | r990 | 2009-09-20 15:04:56 | hniwa | update of matrix manuals. |
matrix-en.pdf | 16.62 k | r990 | 2009-09-20 15:04:56 | hniwa | update of matrix manuals. |
compmodule-en.pdf | 13.9 k | r749 | 2009-04-21 21:47:05 | hniwa | GetConst, AddConst, and CheckConst ar... |
compmodule.pdf | 24.08 k | r749 | 2009-04-21 21:47:05 | hniwa | GetConst, AddConst, and CheckConst ar... |
Explain-en.txt | 5.53 k | r201 | 2009-02-05 23:14:22 | hniwa | English translation of explain.txt |
Explain.txt | 4.4 k | r115 | 2009-01-26 00:21:55 | hniwa | The addition of explanation |
INSTALL-en.pdf | 8.38 k | r224 | 2009-02-08 13:31:04 | hniwa | Change of the installation method |
foruse.txt | 1.78 k | r16 | 2009-01-13 19:52:32 | hniwa | registed documents sources. |
descartes-en.doc | 122 k | r223 | 2009-02-08 13:25:44 | hniwa | Description of setvar of a manual is ... |
install.txt | 790 | r16 | 2009-01-13 19:52:32 | hniwa | registed documents sources. |
builtin-en.txt | 14.94 k | r958 | 2009-08-09 21:31:14 | hniwa | addition of NEXTINDENT manual. |
builtin.txt | 12.99 k | r958 | 2009-08-09 21:31:14 | hniwa | addition of NEXTINDENT manual. |
descartes.pdf | 190.36 k | r689 | 2009-04-10 23:44:40 | hniwa | renewal of descartes manual |
cursesmodule.txt | 2.46 k | r580 | 2009-03-28 20:08:37 | hniwa | A ruled line is drawn around a screen. |
cursesmodule-en.txt | 3.08 k | r580 | 2009-03-28 20:08:37 | hniwa | A ruled line is drawn around a screen. |
descartes-prog.pdf | 124.62 k | r54 | 2009-01-17 22:28:50 | hniwa | Object-oriented explanation was added. |
example | r754 | 2009-04-22 22:07:15 | hniwa | English translation of example-tinyruby | |
sysmodule-en.pdf | 30.44 k | r929 | 2009-07-30 21:55:47 | hniwa | Addition of manual of character strin... |
sysmodule.pdf | 61.91 k | r929 | 2009-07-30 21:55:47 | hniwa | Addition of manual of character strin... |
descartes, INTRODUCTION ======================= Descartes is a logic programming language. INSTALLING descartes ==================== See the file 'install' for instructions on how to build descartes on your machine. RUNNING descartes ==================== 1. Start method 1.1 Start with an argument. Set a program file as an argument. $ descartes example Descartes read program file "example" and carry it out. 1.2 Start without an argument. And it is started Command Prompt. Command Prompt is displayed when it starts without an argument. $ descartes 0.1.0 Descartes Copyright(C) 2009 Hideyuki Niwa ? "?" is displayed to a prompt and carries out input descartes language program. You can use the "load" predicate to load a program. This is an example carrying out the "append" program. ? <load "append">; Only Command Prompt can omit the outside parenthesis. ? load "append"; result - - (Load "append") - - true ? append #x (a b) (c); result - - (append (a b c) (a b) (c)) - - true 2. The stop method of the Command Prompt Use the "quit" predicate, and to stop. ? quit; 3. The path of the program file The library and program of the Descartes language are looked for from the place where the DLIBPATH environment variable is specified. The path of DLIBPATH is divided by COLON ":". (The Windows version is divided by SEMICOLON";") Even if the library or program in the directory specified by DLIBPATH do not specify a path, they are executed as a specification program of the argument of descartes, and load and an include predicate. The specification method of the environment variable DLIBPATH should follow the setting method of the environment variable of OS. A specification method in bash of Linux: Export DLIBPATH="/usr/local/lib/descartes:. " By Windows, please set "environment variable" of the property of the system in Control Panel.