• R/O
  • SSH
  • HTTPS

descartes: Source Tree


Name Size Rev. Time Author Log Message
matrix.c 88.57 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
server.c 6.2 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
complx.h 3.02 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
lisp.c 32.54 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
matrix.h 4.05 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
resource.rc 23 r1169 2010-04-22 21:51:23 hniwa Addition of new icon
server.h 948 r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
lisp.h 2.77 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
mkstemp.c 1.43 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
test.d r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
pllex.c 17.2 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
INSTALL 662 r1121 2010-02-28 16:13:02 hniwa descartes is recovered.
utf8.c 3.22 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
syserr.c 1.82 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
format.c 4.98 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
Makefile.sol 12.99 k r1348 2011-06-27 22:57:30 hniwa Renewal of Makefile
gc.c 5.8 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
descartes3a.ico 2.19 k r1121 2010-02-28 16:13:02 hniwa descartes is recovered.
pllex.h 1.64 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
descartes3b.ico 2.19 k r1121 2010-02-28 16:13:02 hniwa descartes is recovered.
func.c 6.13 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
descartes3c.ico 2.19 k r1121 2010-02-28 16:13:02 hniwa descartes is recovered.
syserr.h 970 r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
gc.h 944 r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
pllex.n 14.96 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
func.h 1.11 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
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 r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
euc.c 2.79 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
config.sub 27.56 k r1121 2010-02-28 16:13:02 hniwa descartes is recovered.
cwd.c 969 r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
bin_node.c 10.62 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
httpclient.c 57.75 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
bin_node.h 10.07 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
httpclient.h 2.02 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
sysmodule.c 188.09 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
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 r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
pred.c 4.67 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
unify.c 17.78 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
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 r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
expression.c 26.51 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
pred.h 2.32 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
unify.h 1.68 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
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 r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
proc.c 39.36 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
expression.h 1.11 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
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 r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
ode.c 14.42 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
proc.h 1.1 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
sleep.c 1.09 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
lib_include.c 13.31 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
example r1652 2013-01-01 14:28:08 hniwa update of example
compiler.c 9.42 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
builtin.h 1.45 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
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 r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
checkreserved.c 5.26 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
sleep.h 877 r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
lib_include.h 943 r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
compiler.h 1.38 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
checkreserved.h 948 r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
autom4te.cache r1606 2012-09-23 12:41:43 hniwa Improvement of parallel processing
doc r1600 2012-09-16 14:27:41 hniwa Making of manual and HELP of readCSV ...
checksrc.c 5.45 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
module.c 8.6 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
generator.c 21.98 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
config.cache 2.07 k r1121 2010-02-28 16:13:02 hniwa descartes is recovered.
pl.n 21.36 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
help.c 179.75 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
regexheader.h 1.31 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
checksrc.h 913 r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
module.h 1.15 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
generator.h 1.24 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
aclocal.m4 34.53 k r1586 2012-09-09 21:13:36 hniwa Start of release 0.27.0
help.h 872 r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
install-sh 5.47 k r1121 2010-02-28 16:13:02 hniwa descartes is recovered.
docj r1600 2012-09-16 14:27:41 hniwa Making of manual and HELP of readCSV ...
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 945 r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
sjis.c 2.82 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
config.guess 37.6 k r1121 2010-02-28 16:13:02 hniwa descartes is recovered.
code.c 4.57 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
opcall.c 8.57 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
client.c 3.03 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
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 r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
opcall.h 5.78 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
token.c 39.1 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
hello 27 r1121 2010-02-28 16:13:02 hniwa descartes is recovered.
client.h 902 r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
context.c 2.27 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
let.c 34.12 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
token.h 3.78 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
timeout.c 3.14 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
var.c 4.51 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
context.h 2.52 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
let.h 3.35 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
nwcc.c 18.14 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
timeout.h 1023 r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
var.h 4.42 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
win.c 1.58 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
winsock2util.c 3.06 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
nwcc.h 529 r1121 2010-02-28 16:13:02 hniwa descartes is recovered.
complx.c 51.35 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
win.h 872 r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range
winsock2util.h 1.25 k r1653 2013-01-01 14:32:21 hniwa Enhancing of copyright year range

README

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. 



Show on old repository browser