Topics |
Author |
Replies |
Views |
Last post |
 |
Prolog interpreter in LISP wanted |
William Clocksin on jen |
3 |
124 |
Wed, 19 May 1993 11:35:00 GMT
Dorai Sitar
|
 |
PROLOG Digest V4 #84 |
Chuck Restivo, The Moderat |
0 |
8 |
Wed, 19 May 1993 10:52:00 GMT
Chuck Restivo, The Moderat
|
 |
sets of integers |
Mats Carlss |
1 |
503 |
Wed, 19 May 1993 10:47:00 GMT
Richard A. O'Kee
|
 |
testing |
Paul Copping |
0 |
346 |
Wed, 19 May 1993 10:22:00 GMT
Paul Copping
|
 |
Still need bibliography parts |
Joseph D. Slo |
0 |
3 |
Wed, 19 May 1993 09:20:00 GMT
Joseph D. Slo
|
 |
Be seeing you! |
o |
0 |
504 |
Wed, 19 May 1993 09:15:00 GMT
o
|
 |
PROLOG Digest V4 #89 |
Chuck Restivo, The Moderat |
0 |
8 |
Wed, 19 May 1993 09:14:00 GMT
Chuck Restivo, The Moderat
|
 |
Bibliography needed |
Joseph D. Slo |
1 |
29 |
Wed, 19 May 1993 08:07:00 GMT
Drew Ada
|
 |
Logic Programming Newsletter |
o |
1 |
514 |
Wed, 19 May 1993 08:05:00 GMT
Mike Barl
|
 |
references - G |
Andy Chee |
0 |
21 |
Wed, 19 May 1993 08:01:00 GMT
Andy Chee
|
 |
prolog and Predicate logic |
Cs211s |
0 |
157 |
Wed, 19 May 1993 07:58:00 GMT
Cs211s
|
 |
general PROLOG questions |
Cs211s |
10 |
160 |
Wed, 19 May 1993 07:28:00 GMT
Lindsay Grov
|
 |
Algorithms for polynomial operations |
Sankarnarayan Sridh |
0 |
343 |
Wed, 19 May 1993 07:07:00 GMT
Sankarnarayan Sridh
|
 |
Yet another perfect number program |
Arun Lakhot |
0 |
508 |
Wed, 19 May 1993 05:54:00 GMT
Arun Lakhot
|
 |
Where do I get a C-Prolog for 3B2, 3B15, Xenix? |
Keith Werkm |
0 |
354 |
Wed, 19 May 1993 05:37:00 GMT
Keith Werkm
|
 |
1st Order Temporal Logic |
Subash Shank |
1 |
384 |
Wed, 19 May 1993 05:02:26 GMT
Subash Shank
|
 |
LIST-OF-PROLOGs |
Bruce Smi |
2 |
356 |
Wed, 19 May 1993 05:01:00 GMT
Bruce Smi
|
 |
ISO Prolog standardization? |
Yasusi Kana |
0 |
509 |
Wed, 19 May 1993 04:56:00 GMT
Yasusi Kana
|
 |
delayed computation challenge |
John Clea |
4 |
149 |
Wed, 19 May 1993 04:50:00 GMT
Lee Nai
|
 |
references - E |
Andy Chee |
0 |
34 |
Wed, 19 May 1993 04:35:00 GMT
Andy Chee
|
 |
references - C |
Andy Chee |
0 |
36 |
Wed, 19 May 1993 04:34:00 GMT
Andy Chee
|
 |
Deriving isprime/1 (Long) |
Arun Lakhot |
0 |
523 |
Wed, 19 May 1993 04:24:00 GMT
Arun Lakhot
|
 |
Availability of predicates... |
Sankarnarayan Sridh |
0 |
514 |
Wed, 19 May 1993 03:39:00 GMT
Sankarnarayan Sridh
|
 |
Prefix operators and blanks (was: WG17) |
Peter G Ludema |
10 |
168 |
Wed, 19 May 1993 03:05:00 GMT
Peter G Ludema
|
 |
PROLOG Digest V4 #82 |
Chuck Restivo, The Moderat |
0 |
22 |
Wed, 19 May 1993 09:58:00 GMT
Chuck Restivo, The Moderat
|
 |
A Challenge |
Pat Chkore |
6 |
139 |
Wed, 19 May 1993 06:53:00 GMT
Lee Nai
|
 |
references - B |
Andy Chee |
0 |
38 |
Wed, 19 May 1993 04:33:00 GMT
Andy Chee
|
 |
References |
Andy Chee |
0 |
42 |
Wed, 19 May 1993 04:30:00 GMT
Andy Chee
|
 |
references - A |
Andy Chee |
0 |
40 |
Wed, 19 May 1993 04:32:00 GMT
Andy Chee
|
 |
PROLOG Digest V4 #85 |
Chuck Restivo, The Moderat |
0 |
14 |
Wed, 19 May 1993 08:57:00 GMT
Chuck Restivo, The Moderat
|
 |
Cprolog -- Where? (also PD Prolog in C) |
Glenn A. Emel |
0 |
346 |
Wed, 19 May 1993 07:19:00 GMT
Glenn A. Emel
|
|