| Name | Size | Rev. | Time | Author | Log Message |
|---|---|---|---|---|---|
 pllex.n |
14.96 k | r1586 | 2012-09-09 21:13:36 | hniwa | Start of release 0.27.0 |
 func.h |
1.11 k | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
 Readme-jp.txt |
1.31 k | r1584 | 2012-09-09 16:51:00 | hniwa | Renewal of document for the next rele... |
| config.status |
32.78 k | r1586 | 2012-09-09 21:13:36 | hniwa | Start of release 0.27.0 |
| ChangeLog |
280.01 k | r1583 | 2012-09-08 21:10:24 | hniwa | Correction of ChangeLog for new release |
| config.h |
3.17 k | r1450 | 2011-09-09 22:53:08 | hniwa | Make of each system of configure and ... |
 regex.c |
3.89 k | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| euc.c |
2.79 k | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| config.sub |
27.56 k | r1121 | 2010-02-28 16:13:02 | hniwa | descartes is recovered. |
| cwd.c |
969 | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| bin_node.c |
10.62 k | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| httpclient.c |
57.75 k | r1578 | 2012-09-04 20:06:33 | hniwa | It corresponds to the nest of the era... |
| bin_node.h |
10.07 k | r1552 | 2012-06-08 22:08:46 | hniwa | SIGSEGV in the iconv predicate is cor... |
| httpclient.h |
2.02 k | r1573 | 2012-09-01 17:39:22 | hniwa | The eraseCommenttags predicate is add... |
| sysmodule.c |
190.74 k | r1573 | 2012-09-01 17:39:22 | hniwa | The eraseCommenttags predicate is add... |
| copying |
17.57 k | r1121 | 2010-02-28 16:13:02 | hniwa | descartes is recovered. |
| descartes3.ico |
2.19 k | r1121 | 2010-02-28 16:13:02 | hniwa | descartes is recovered. |
| Makefile.am |
1.42 k | r1475 | 2011-10-04 21:48:01 | hniwa | The function to calculate the numeric... |
| missing |
6.33 k | r1121 | 2010-02-28 16:13:02 | hniwa | descartes is recovered. |
| sysmodule.h |
1.55 k | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| pred.c |
4.67 k | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| unify.c |
17.78 k | r1550 | 2012-06-06 21:58:14 | hniwa | The function whose return value is an... |
| NEWS |
19.28 k | r1584 | 2012-09-09 16:51:00 | hniwa | Renewal of document for the next rele... |
| Makefile.cygwin |
12.92 k | r1296 | 2011-01-08 15:28:31 | hniwa | start release 0.22.0 |
| Makefile |
23.78 k | r1586 | 2012-09-09 21:13:36 | hniwa | Start of release 0.27.0 |
| d3.ico |
2.19 k | r1203 | 2010-05-22 13:11:59 | hniwa | update of icon |
| ncurlib.c |
27.8 k | r1514 | 2012-01-18 23:21:05 | hniwa | The inheritance relation of the objec... |
| expression.c |
26.51 k | r1514 | 2012-01-18 23:21:05 | hniwa | The inheritance relation of the objec... |
| pred.h |
2.32 k | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| unify.h |
1.68 k | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| configure |
184.51 k | r1586 | 2012-09-09 21:13:36 | hniwa | Start of release 0.27.0 |
| Makefile.mingw.utf8 |
22.7 k | r1527 | 2012-02-24 21:52:10 | hniwa | Update of Make environment |
| Makefile.in |
25.98 k | r1586 | 2012-09-09 21:13:36 | hniwa | Start of release 0.27.0 |
| ncurlib.h |
29.03 k | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| proc.c |
38.28 k | r1558 | 2012-06-15 21:29:55 | hniwa | Improvement of GC for parallel program |
| expression.h |
1.11 k | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| AUTHORS |
45 | r1121 | 2010-02-28 16:13:02 | hniwa | descartes is recovered. |
| configure.in |
1.27 k | r1586 | 2012-09-09 21:13:36 | hniwa | Start of release 0.27.0 |
| depcomp |
18.18 k | r1368 | 2011-07-22 21:54:48 | hniwa | Addition of iconv predicate that conv... |
| builtin.c |
90.4 k | r1553 | 2012-06-08 22:10:25 | hniwa | It is corrected that atom can be prin... |
| ode.c |
14.42 k | r1526 | 2012-02-24 21:50:19 | hniwa | One repetition frequency of the ODE p... |
| proc.h |
1.1 k | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| sleep.c |
1.09 k | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| lib_include.c |
13.31 k | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
 example |
r1582 | 2012-09-08 20:23:58 | hniwa | Deletion of data for exercise | |
| compiler.c |
9.42 k | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| builtin.h |
1.45 k | r1514 | 2012-01-18 23:21:05 | hniwa | The inheritance relation of the objec... |
| pl.c |
59.71 k | r1513 | 2012-01-11 19:41:24 | hniwa | The include of strings.h is deleted. |
| README |
2.05 k | r1121 | 2010-02-28 16:13:02 | hniwa | descartes is recovered. |
| Makefile.mingw |
22.68 k | r1527 | 2012-02-24 21:52:10 | hniwa | Update of Make environment |
| ode.h |
1.15 k | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| checkreserved.c |
5.15 k | r1573 | 2012-09-01 17:39:22 | hniwa | The eraseCommenttags predicate is add... |
| sleep.h |
877 | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| lib_include.h |
943 | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| compiler.h |
1.38 k | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| checkreserved.h |
948 | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| autom4te.cache |
r1586 | 2012-09-09 21:13:36 | hniwa | Start of release 0.27.0 | |
| doc |
r1585 | 2012-09-09 18:14:35 | hniwa | Correction of manual for the next rel... | |
| checksrc.c |
5.45 k | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| module.c |
8.6 k | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| generator.c |
21.98 k | r1514 | 2012-01-18 23:21:05 | hniwa | The inheritance relation of the objec... |
| config.cache |
2.07 k | r1121 | 2010-02-28 16:13:02 | hniwa | descartes is recovered. |
| pl.n |
21.36 k | r1513 | 2012-01-11 19:41:24 | hniwa | The include of strings.h is deleted. |
| help.c |
177.67 k | r1581 | 2012-09-08 19:40:01 | hniwa | Correction of HELP |
| regexheader.h |
1.31 k | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| checksrc.h |
913 | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| module.h |
1.15 k | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| generator.h |
1.24 k | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| aclocal.m4 |
34.53 k | r1586 | 2012-09-09 21:13:36 | hniwa | Start of release 0.27.0 |
| help.h |
872 | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| install-sh |
5.47 k | r1121 | 2010-02-28 16:13:02 | hniwa | descartes is recovered. |
| docj |
r1585 | 2012-09-09 18:14:35 | hniwa | Correction of manual for the next rel... | |
| mkinstalldirs |
722 | r1121 | 2010-02-28 16:13:02 | hniwa | descartes is recovered. |
| inputrc |
92 | r1121 | 2010-02-28 16:13:02 | hniwa | descartes is recovered. |
| nwcclex.c |
11.07 k | r1121 | 2010-02-28 16:13:02 | hniwa | descartes is recovered. |
| nwcclex.h |
940 | r1121 | 2010-02-28 16:13:02 | hniwa | descartes is recovered. |
| sjis.c |
2.82 k | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| config.guess |
37.6 k | r1121 | 2010-02-28 16:13:02 | hniwa | descartes is recovered. |
| code.c |
4.57 k | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| opcall.c |
8.57 k | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| client.c |
3.03 k | r1513 | 2012-01-11 19:41:24 | hniwa | The include of strings.h is deleted. |
| config.h.in |
2.99 k | r1450 | 2011-09-09 22:53:08 | hniwa | Make of each system of configure and ... |
| code.h |
1.03 k | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| opcall.h |
5.78 k | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| token.c |
39.08 k | r1514 | 2012-01-18 23:21:05 | hniwa | The inheritance relation of the objec... |
| hello |
27 | r1121 | 2010-02-28 16:13:02 | hniwa | descartes is recovered. |
| client.h |
902 | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| context.c |
2.27 k | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| let.c |
34.12 k | r1514 | 2012-01-18 23:21:05 | hniwa | The inheritance relation of the objec... |
| token.h |
3.78 k | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| timeout.c |
3.14 k | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| var.c |
4.51 k | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| context.h |
2.52 k | r1514 | 2012-01-18 23:21:05 | hniwa | The inheritance relation of the objec... |
| let.h |
3.35 k | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| nwcc.c |
18.14 k | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| timeout.h |
1023 | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| var.h |
4.42 k | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| win.c |
1.58 k | r1530 | 2012-02-29 21:33:46 | hniwa | Performance improvement of GC for mingw |
| winsock2util.c |
3.06 k | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| nwcc.h |
529 | r1121 | 2010-02-28 16:13:02 | hniwa | descartes is recovered. |
| complx.c |
51.35 k | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| win.h |
870 | r1530 | 2012-02-29 21:33:46 | hniwa | Performance improvement of GC for mingw |
| winsock2util.h |
1.25 k | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| matrix.c |
88.55 k | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| server.c |
6.2 k | r1513 | 2012-01-11 19:41:24 | hniwa | The include of strings.h is deleted. |
| complx.h |
3.02 k | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| lisp.c |
32.54 k | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| matrix.h |
3.99 k | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| resource.rc |
23 | r1169 | 2010-04-22 21:51:23 | hniwa | Addition of new icon |
| server.h |
948 | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| lisp.h |
2.77 k | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| mkstemp.c |
1.43 k | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| test.d |
r1427 | 2011-08-29 21:24:47 | hniwa | Change of specification of not predic... | |
| pllex.c |
17.2 k | r1586 | 2012-09-09 21:13:36 | hniwa | Start of release 0.27.0 |
| INSTALL |
662 | r1121 | 2010-02-28 16:13:02 | hniwa | descartes is recovered. |
| utf8.c |
3.22 k | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| syserr.c |
1.82 k | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| format.c |
4.98 k | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| Makefile.sol |
12.99 k | r1348 | 2011-06-27 22:57:30 | hniwa | Renewal of Makefile |
| gc.c |
5.46 k | r1558 | 2012-06-15 21:29:55 | hniwa | Improvement of GC for parallel program |
| descartes3a.ico |
2.19 k | r1121 | 2010-02-28 16:13:02 | hniwa | descartes is recovered. |
| pllex.h |
1.64 k | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| descartes3b.ico |
2.19 k | r1121 | 2010-02-28 16:13:02 | hniwa | descartes is recovered. |
| func.c |
6.13 k | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| descartes3c.ico |
2.19 k | r1121 | 2010-02-28 16:13:02 | hniwa | descartes is recovered. |
| syserr.h |
970 | r1509 | 2012-01-02 23:22:29 | hniwa | Copyright is changed to 2012. |
| gc.h |
920 | r1528 | 2012-02-28 22:01:44 | hniwa | Improvement of gc |
デカルト言語 - 並列ロジック プログラミング言語descartes, INTRODUCTION
=======================
Descartes is a logic programming language.
http://sourceforge.jp/projects/descartes/
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.