| Topics |
Author |
Replies |
Views |
Last post |
 |
Lisp in Prolog, Relfun, etc. |
Harold Bol |
0 |
452 |
Sat, 05 Aug 1995 01:16:23 GMT
Harold Bol
|
|
Fibonacci, Recursion, and Accumulators |
Tim Dunc |
3 |
452 |
Sat, 05 Aug 1995 00:35:02 GMT
Ian Gre
|
|
Prolog program beautifier request |
Baudino Alber |
3 |
449 |
Fri, 04 Aug 1995 23:50:50 GMT
Paul Singlet
|
|
Prolog Resource Guide [Monthly posting] |
Mark Kantrowi |
2 |
447 |
Fri, 04 Aug 1995 02:20:16 GMT
Ken Johns
|
|
permutations |
Jamie Andre |
3 |
416 |
Wed, 02 Aug 1995 07:35:10 GMT
Rafael Candido Alvara
|
|
prolog compilers for pc |
Theodore Vassiliad |
0 |
464 |
Wed, 02 Aug 1995 04:05:22 GMT
Theodore Vassiliad
|
|
Testing for subsumption |
Edmund Grimley-Eva |
14 |
519 |
Tue, 01 Aug 1995 01:54:24 GMT
Jacques No
|
|
AI Society talks: Eqlog/evol. robots |
p.. |
0 |
472 |
Mon, 31 Jul 1995 23:38:11 GMT
p..
|
|
Negation nomenclature |
Thom Fruehwir |
7 |
468 |
Mon, 31 Jul 1995 21:19:54 GMT
Lee Nai
|
|
bibtex entries for Journals and LP Conferences: patchlevel 8 released |
Ralf Scheidhau |
0 |
473 |
Mon, 31 Jul 1995 19:13:10 GMT
Ralf Scheidhau
|
|
Faculty Position |
Sreejit Chakravar |
0 |
479 |
Sun, 30 Jul 1995 22:45:57 GMT
Sreejit Chakravar
|
|
Seeking public domain copy of IBM Prolog |
Christopher Ke |
0 |
481 |
Sun, 30 Jul 1995 21:03:07 GMT
Christopher Ke
|
|
MOPs |
Stephen Flint |
0 |
485 |
Sat, 29 Jul 1995 21:57:38 GMT
Stephen Flint
|
|
Lisp in Prolog |
Norbert E. Fuc |
1 |
493 |
Fri, 28 Jul 1995 22:00:09 GMT
Timothy Fin
|
|
Goedel info needed |
Michael Pan |
0 |
498 |
Fri, 28 Jul 1995 12:08:16 GMT
Michael Pan
|
|
Workshop on Deductive Databases at ICLP'93 |
Natraj Ar |
0 |
506 |
Tue, 25 Jul 1995 07:33:28 GMT
Natraj Ar
|
|
WSA93 CFP Intl Workshop on Static Analysis, Padova, Sept. 93 |
ws.. |
0 |
509 |
Mon, 24 Jul 1995 21:19:37 GMT
ws..
|
|
Minimal perfect hashing in Chip |
Ken Johns |
0 |
511 |
Mon, 24 Jul 1995 20:20:31 GMT
Ken Johns
|
|
bibtex entries for Journals and LP Conferences: patchlevel 9 released |
Ralf Scheidhau |
0 |
457 |
Fri, 04 Aug 1995 16:14:56 GMT
Ralf Scheidhau
|
|
QUICKY...length of atom name |
Roland Karlss |
2 |
466 |
Tue, 01 Aug 1995 20:24:23 GMT
Jens Kili
|
|
Indexing in Incremental Coilers |
Roland Paterson-Jon |
2 |
465 |
Tue, 01 Aug 1995 17:52:13 GMT
David Whitt
|
|
Prolog mode for Emacs wanted |
Trevor Blackwe |
3 |
471 |
Tue, 01 Aug 1995 03:16:42 GMT
Saumya K. Debr
|
|
POPLOG or public domain Prolog |
Yam Wan Fong Lily ( |
1 |
455 |
Mon, 31 Jul 1995 10:49:09 GMT
Aaron Slom
|
|
Shapiro's debugger ... |
Rene MacKinney-Rome |
0 |
477 |
Mon, 31 Jul 1995 01:17:37 GMT
Rene MacKinney-Rome
|
|
Workshop on Combining Declarative and Object-Oriented Databases |
Inderpal Singh Mumi |
0 |
483 |
Sun, 30 Jul 1995 07:41:08 GMT
Inderpal Singh Mumi
|
|
WSA93 (revised) CFP Int. Workshop on Static Analysis, Padova, Sept. 93 |
ws.. |
0 |
491 |
Sat, 29 Jul 1995 00:31:00 GMT
ws..
|
|
Echidna article in ALP newsletter |
Gregory Sidebott |
0 |
490 |
Fri, 28 Jul 1995 17:22:43 GMT
Gregory Sidebott
|
|
LP representation of Comm. Prot ?! |
Srinivasa Bharadwaj Yadaval |
1 |
495 |
Wed, 26 Jul 1995 00:24:11 GMT
Greg Bo
|
|
BNR-prolog |
Frank Dikk |
0 |
502 |
Tue, 25 Jul 1995 18:27:12 GMT
Frank Dikk
|
|
computationally inexpensive in ascending order |
Arindam D |
1 |
500 |
Tue, 25 Jul 1995 12:06:09 GMT
Jens Kili
|
| |
