| Title: | Prolog |
| Notice: | Variables of the world, unify! |
| Moderator: | AZUR::TARANTOLA |
| Created: | Wed Jan 29 1986 |
| Last Modified: | Wed Aug 14 1996 |
| Last Successful Update: | Fri Jun 06 1997 |
| Number of topics: | 227 |
| Total number of notes: | 828 |
| T.R | Title | User | Personal Name | Date | Lines |
|---|---|---|---|---|---|
| 154.1 | rtfm, please | 16BITS::PUDER | Karl Puder, VAX APL, DTN 381-0178 | Tue Nov 29 1988 11:43 | 4 |
| 154.2 | There's a bug in here... | BARDIC::RAVAN | Tue Dec 06 1988 20:38 | 93 | |
| 154.3 | YIPPEE::GUIMBAL | vanished in a puff of logic | Wed Dec 07 1988 03:43 | 25 | |
| 154.4 | How elegant! | BARDIC::RAVAN | Wed Dec 07 1988 11:01 | 10 | |
| 154.5 | even smaller | 16BITS::PUDER | Karl Puder, VAX APL, DTN 381-0178 | Thu Dec 08 1988 13:17 | 17 |
| 154.6 | ex | CTOAVX::POMPANO | Thu Dec 08 1988 16:08 | 44 | |
| 154.7 | Two more sorts | BARDIC::RAVAN | Thu Dec 08 1988 19:04 | 24 | |
| 154.8 | Terms... | BARDIC::RAVAN | Thu Dec 08 1988 19:57 | 23 | |
| 154.9 | one further nit | 16BITS::PUDER | Karl Puder, VAX APL, DTN 381-0178 | Fri Dec 09 1988 12:32 | 11 |
| 154.10 | Bad bubble | LUGGER::MILLS | Wed Oct 10 1990 21:02 | 7 | |
| 154.11 | MYBABY::GUIMBAL | vanished in a puff of logic | Tue Nov 27 1990 15:34 | 2 |