| Topics |
Author |
Replies |
Views |
Last post |
 |
Prefix operators and blanks (was: WG17) |
Peter G Ludema |
10 |
168 |
Wed, 19 May 1993 03:05:00 GMT
Peter G Ludema
|
|
Ambiguities in WG17's syntax |
Peter G Ludema |
1 |
174 |
Wed, 19 May 1993 03:03:00 GMT
Micha Mei
|
|
Netiquette (was: fun with WG17) |
Peter G Ludema |
1 |
148 |
Wed, 19 May 1993 02:58:00 GMT
Jeff Dalt
|
|
Your Solution.... |
Steve Alba |
0 |
363 |
Wed, 19 May 1993 02:35:00 GMT
Steve Alba
|
|
Wated Programmer |
William Sco |
0 |
173 |
Wed, 19 May 1993 02:11:00 GMT
William Sco
|
|
updated list of Prolog implementations... |
Bruce Smi |
0 |
370 |
Wed, 19 May 1993 01:47:00 GMT
Bruce Smi
|
|
Need prolog_lib for UNSW prolog |
Steve Childre |
0 |
35 |
Wed, 19 May 1993 01:46:00 GMT
Steve Childre
|
|
Computer Technology Symposium - Knowledge Engineering Using Forth |
Al Arth |
0 |
114 |
Wed, 19 May 1993 01:37:00 GMT
Al Arth
|
|
Declarative Debugging in Non-standard Logic Programming |
Song Y |
0 |
363 |
Wed, 19 May 1993 01:34:00 GMT
Song Y
|
|
operators dynamic ? |
iwan.. |
0 |
182 |
Wed, 19 May 1993 01:31:00 GMT
iwan..
|
|
NU-Prolog termCompare/3. |
spoo.. |
0 |
384 |
Wed, 19 May 1993 01:18:00 GMT
spoo..
|
|
pointers to work on dynamic updates |
Michael De Gro |
0 |
185 |
Wed, 19 May 1993 00:25:00 GMT
Michael De Gro
|
|
Prolog wanted |
Herve Schaue |
0 |
371 |
Wed, 19 May 1993 00:15:00 GMT
Herve Schaue
|
|
Inductive consequence |
re.. |
0 |
374 |
Wed, 19 May 1993 00:14:00 GMT
re..
|
|
Implication in Prolog (sigh...) |
br.. |
1 |
420 |
Tue, 18 May 1993 23:53:56 GMT
Richard A. O'Kee
|
|
C-Prolog question - construct atom '12' |
Erik Baalberg |
1 |
426 |
Tue, 18 May 1993 19:49:26 GMT
Francois-Michel La
|
|
Arity Prolog & Turbo C |
Marshall Sutherla |
0 |
428 |
Tue, 18 May 1993 04:36:40 GMT
Marshall Sutherla
|
|
Sequent Theorem Prover |
Jose de Siquei |
0 |
430 |
Tue, 18 May 1993 02:56:20 GMT
Jose de Siquei
|
|
Prolog for Vax |
Frank C. Pater |
1 |
430 |
Tue, 18 May 1993 00:55:43 GMT
Frank C. Pater
|
|
ALPUK91 Call for Papers - REMINDER |
Tim Dunc |
0 |
433 |
Tue, 18 May 1993 00:27:30 GMT
Tim Dunc
|
|
Prolog Symbolic Integration ? |
Feng Ya |
0 |
435 |
Mon, 17 May 1993 23:31:57 GMT
Feng Ya
|
|
inheritance in prolog |
Robert Goldm |
3 |
420 |
Mon, 17 May 1993 02:04:11 GMT
Way
|
|
Prolog's Practicability |
fu.. |
0 |
439 |
Sun, 16 May 1993 17:58:35 GMT
fu..
|
|
Advanced Program - IEEE Conference on AI APPLICATIONS |
Tim Fin |
0 |
443 |
Sun, 16 May 1993 00:48:06 GMT
Tim Fin
|
|
Call for Proposals for ALP Meeting Organization |
David Scott Warr |
0 |
446 |
Sat, 15 May 1993 23:21:14 GMT
David Scott Warr
|
|
immediate update |
Bart Demo |
2 |
436 |
Sat, 15 May 1993 05:45:46 GMT
Bart Demo
|
|
New chair of Computer Science at Birmingham University UK |
Aaron Slom |
0 |
450 |
Fri, 14 May 1993 06:31:30 GMT
Aaron Slom
|
|
where can I find... |
Ranjan Bagc |
3 |
451 |
Fri, 14 May 1993 01:37:38 GMT
cerbone giusep
|
|
BIM v. QUINTUS |
Bill Iml |
0 |
455 |
Wed, 12 May 1993 03:01:01 GMT
Bill Iml
|
|
UNIX Prolog |
Claude Dugu |
0 |
457 |
Tue, 11 May 1993 05:31:07 GMT
Claude Dugu
|
|
Question about DCG's and natural language |
ada.. |
1 |
457 |
Mon, 10 May 1993 09:38:49 GMT
Mark Johns
|
| |
