-
Notifications
You must be signed in to change notification settings - Fork 2
/
Copy pathANNOUNCE
81 lines (58 loc) · 2.06 KB
/
ANNOUNCE
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
From nakashim@uranus.etl.go.jp Mon Oct 4 21:12:27 EDT 1993
Article: 19039 of comp.ai
Xref: honeydew.srv.cs.cmu.edu comp.ai:19039
Newsgroups: comp.ai
Path: honeydew.srv.cs.cmu.edu!rochester!udel!gatech!swrinde!elroy.jpl.nasa.gov!usc!cs.utexas.edu!uunet!olivea!koriel!sh.wide!wnoc-tyo-news!etl.go.jp!etlss2!nakashim
From: nakashim@uranus.etl.go.jp (Hideyuki Nakashima)
Subject: Uranus system available
Message-ID: <NAKASHIM.93Oct1151229@uranus.etl.go.jp>
Sender: news@etl.go.jp (News System)
Nntp-Posting-Host: uranus
Organization: Electrotechnical Laboratory
Date: Fri, 1 Oct 1993 06:12:29 GMT
Lines: 65
A logic based knowledge representation language Uranus is available
through ftp.
1. License
Uranus is free to use, copy and modify as long as it is used for
RESEARCH PURPOSE ONLY.
URANUS PROVIDES ABSOLUTELY NO GUARANTEE.
2. Ftp Site
machine: etlport.etl.go.jp
IP: 192.31.197.99
login: anonymous
directory: pub/uranus/ftp
3. What is Uranus
- Uranus is an extension of Prolog written in Common Lisp and
has the syntax of Lisp.
- Uranus extends Prolog in the following two features:
1. multiple world mechanism
2. term descriptions to provide functional programming
within the framework of logic programming.
- All Lisp functions are usable.
How to Install Uranus:
1) Unpack files in a proper directory.
2) Copy proper Makefile-* file to Makefile.
3) Make.
4) Move Uranus object to a proper directory.
File Descriptions:
amuse.lisp editor
*defs.lisp definitions of variables etc.
*kernel.lisp Uranus kernel (most important part)
lib.lisp library Lisp functions (must be changed for each lisp)
*lispfunctions.lisp interface from Uranus to Lisp
make-uranus.lisp creates a system image of Uranus
manual.ps the manual
*readin.lisp read-in macros
*stepper.lisp stepper
systempred.lisp Uranus system predicates
*td.lisp term descriptions
*trace.lisp tracer
Files marked * are the minimum requirements for Uranus system.
4. The Author
Hideyuki Nakashima
e-mail address: nakashim@etl.go.jp
--
Hideyuki Nakashima
Cooperative Architecture
Electrotechincal Lab.