• R/O
  • SSH
  • HTTPS

descartes: Source Tree


Name Size Rev. Time Author Log Message
var.h 4.42 k r1509 2012-01-02 23:22:29 hniwa Copyright is changed to 2012.
win.c 1.42 k r1509 2012-01-02 23:22:29 hniwa Copyright is changed to 2012.
docj r1507 2011-12-18 19:11:09 hniwa Renewal of manual and HELP of predica...
unify.h 1.68 k r1509 2012-01-02 23:22:29 hniwa Copyright is changed to 2012.
func.h 1.11 k r1509 2012-01-02 23:22:29 hniwa Copyright is changed to 2012.
Makefile.mingw.utf8 22.7 k r1517 2012-02-14 20:39:50 hniwa Renewal of Makefile for mingw
Makefile.in 25.02 k r1475 2011-10-04 21:48:01 hniwa The function to calculate the numeric...
win.h 825 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.
depcomp 18.18 k r1368 2011-07-22 21:54:48 hniwa Addition of iconv predicate that conv...
sleep.c 1.09 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.
example r1519 2012-02-14 20:46:23 hniwa Renewal of readme.txt of exercise Clo...
opcall.c 8.57 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.
bin_node.c 10.62 k r1509 2012-01-02 23:22:29 hniwa Copyright is changed to 2012.
checkreserved.c 5.13 k r1511 2012-01-10 21:15:13 hniwa Reserved word ncall is deleted.
sleep.h 877 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.
opcall.h 5.78 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.
bin_node.h 10.07 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.
client.h 902 r1509 2012-01-02 23:22:29 hniwa Copyright is changed to 2012.
doc r1507 2011-12-18 19:11:09 hniwa Renewal of manual and HELP of predica...
generator.c 21.98 k r1514 2012-01-18 23:21:05 hniwa The inheritance relation of the objec...
descartes3.ico 2.19 k r1121 2010-02-28 16:13:02 hniwa descartes is recovered.
pred.c 4.67 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.
d3.ico 2.19 k r1203 2010-05-22 13:11:59 hniwa update of icon
pred.h 2.32 k r1509 2012-01-02 23:22:29 hniwa Copyright is changed to 2012.
Readme-jp.txt 1.72 k r1516 2012-02-12 23:09:48 hniwa Renewal of document for new release
complx.c 51.35 k r1509 2012-01-02 23:22:29 hniwa Copyright is changed to 2012.
inputrc 92 r1121 2010-02-28 16:13:02 hniwa descartes is recovered.
proc.c 37.85 k r1514 2012-01-18 23:21:05 hniwa The inheritance relation of the objec...
matrix.c 88.55 k r1509 2012-01-02 23:22:29 hniwa Copyright is changed to 2012.
config.status 32.42 k r1469 2011-09-19 23:53:01 hniwa start 0.25.0
ChangeLog 269.52 k r1518 2012-02-14 20:41:23 hniwa Renewal of Changelog for new release
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.
proc.h 1.1 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.
compiler.c 9.42 k r1509 2012-01-02 23:22:29 hniwa Copyright is changed to 2012.
server.h 948 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.
README 2.05 k r1121 2010-02-28 16:13:02 hniwa descartes is recovered.
Makefile.mingw 22.68 k r1517 2012-02-14 20:39:50 hniwa Renewal of Makefile for mingw
cwd.c 969 r1509 2012-01-02 23:22:29 hniwa Copyright is changed to 2012.
config.h.in 2.99 k r1450 2011-09-09 22:53:08 hniwa Make of each system of configure and ...
compiler.h 1.38 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...
autom4te.cache r1475 2011-10-04 21:48:01 hniwa The function to calculate the numeric...
checksrc.c 5.45 k r1509 2012-01-02 23:22:29 hniwa Copyright is changed to 2012.
token.h 3.78 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.
help.c 173.35 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 4.11 k r1514 2012-01-18 23:21:05 hniwa The inheritance relation of the objec...
checksrc.h 913 r1509 2012-01-02 23:22:29 hniwa Copyright is changed to 2012.
aclocal.m4 34.21 k r1469 2011-09-19 23:53:01 hniwa start 0.25.0
syserr.h 970 r1509 2012-01-02 23:22:29 hniwa Copyright is changed to 2012.
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.
gc.h 947 r1509 2012-01-02 23:22:29 hniwa Copyright is changed to 2012.
ncurlib.c 27.8 k r1514 2012-01-18 23:21:05 hniwa The inheritance relation of the objec...
configure 183.54 k r1469 2011-09-19 23:53:01 hniwa start 0.25.0
ncurlib.h 29.03 k r1509 2012-01-02 23:22:29 hniwa Copyright is changed to 2012.
builtin.c 90.15 k r1514 2012-01-18 23:21:05 hniwa The inheritance relation of the objec...
ode.c 14.36 k r1514 2012-01-18 23:21:05 hniwa The inheritance relation of the objec...
sjis.c 2.82 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.
resource.rc 23 r1169 2010-04-22 21:51:23 hniwa Addition of new icon
config.h 3.17 k r1450 2011-09-09 22:53:08 hniwa Make of each system of configure and ...
code.c 4.57 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...
ode.h 1.15 k r1509 2012-01-02 23:22:29 hniwa Copyright is changed to 2012.
httpclient.c 50.8 k 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.
code.h 1.03 k r1509 2012-01-02 23:22:29 hniwa Copyright is changed to 2012.
httpclient.h 1.88 k r1509 2012-01-02 23:22:29 hniwa Copyright is changed to 2012.
pllex.c 16.91 k r1509 2012-01-02 23:22:29 hniwa Copyright is changed to 2012.
INSTALL 662 r1121 2010-02-28 16:13:02 hniwa descartes is recovered.
regexheader.h 1.31 k r1509 2012-01-02 23:22:29 hniwa Copyright is changed to 2012.
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.
nwcc.c 18.14 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.
NEWS 18.61 k r1520 2012-02-15 21:03:44 hniwa Change with release date
Makefile 22.8 k r1475 2011-10-04 21:48:01 hniwa The function to calculate the numeric...
winsock2util.c 3.06 k r1509 2012-01-02 23:22:29 hniwa Copyright is changed to 2012.
expression.c 26.51 k r1514 2012-01-18 23:21:05 hniwa The inheritance relation of the objec...
mkinstalldirs 722 r1121 2010-02-28 16:13:02 hniwa descartes is recovered.
nwcc.h 529 r1121 2010-02-28 16:13:02 hniwa descartes is recovered.
pllex.n 14.67 k r1509 2012-01-02 23:22:29 hniwa Copyright is changed to 2012.
winsock2util.h 1.25 k r1509 2012-01-02 23:22:29 hniwa Copyright is changed to 2012.
nwcclex.c 11.07 k r1121 2010-02-28 16:13:02 hniwa descartes is recovered.
expression.h 1.11 k r1509 2012-01-02 23:22:29 hniwa Copyright is changed to 2012.
configure.in 1.27 k r1469 2011-09-19 23:53:01 hniwa start 0.25.0
lisp.c 32.54 k r1509 2012-01-02 23:22:29 hniwa Copyright is changed to 2012.
nwcclex.h 940 r1121 2010-02-28 16:13:02 hniwa descartes is recovered.
regex.c 3.89 k r1509 2012-01-02 23:22:29 hniwa Copyright is changed to 2012.
pl.c 59.71 k r1513 2012-01-11 19:41:24 hniwa The include of strings.h is deleted.
lisp.h 2.77 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...
hello 27 r1121 2010-02-28 16:13:02 hniwa descartes is recovered.
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...
sysmodule.c 190.42 k r1514 2012-01-18 23:21:05 hniwa The inheritance relation of the objec...
module.c 8.6 k r1509 2012-01-02 23:22:29 hniwa Copyright is changed to 2012.
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.
timeout.c 3.14 k r1509 2012-01-02 23:22:29 hniwa Copyright is changed to 2012.
utf8.c 3.22 k r1509 2012-01-02 23:22:29 hniwa Copyright is changed to 2012.
copying 17.57 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.
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.
sysmodule.h 1.55 k 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.
unify.c 17.77 k r1514 2012-01-18 23:21:05 hniwa The inheritance relation of the objec...
func.c 6.13 k r1509 2012-01-02 23:22:29 hniwa Copyright is changed to 2012.
Makefile.cygwin 12.92 k r1296 2011-01-08 15:28:31 hniwa start release 0.22.0
timeout.h 1023 r1509 2012-01-02 23:22:29 hniwa Copyright is changed to 2012.

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