| 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 |
|---|---|---|---|---|---|
| 114.1 | Please explain | MARVIN::MCLURCAN | Iain McLurcan | Thu Nov 05 1987 04:13 | 8 |
| 114.2 | Symbol vs Variable Gen? | IPG::KEEN | Thu Nov 05 1987 04:49 | 24 | |
| 114.3 | genvar(NewVar) :- ... | PAR5::J_RASKU | Tue Nov 10 1987 13:46 | 8 | |
| 114.4 | I still don't see | ME::TRUMPLER | Pining for the fnords | Wed Nov 11 1987 09:12 | 8 |
| 114.5 | what are you want to do with these 'unique' variables? | MARVIN::MCLURCAN | Iain McLurcan | Thu Nov 12 1987 09:46 | 10 |
| 114.6 | genvar(V) use | PAR5::J_RASKU | Fri Nov 13 1987 15:35 | 15 | |
| 114.7 | does this help? | ME::TRUMPLER | Pining for the fnords | Mon Nov 16 1987 09:21 | 42 |
| 114.8 | improvements | AITG::PUDER | Karl Puder | Mon Nov 16 1987 14:17 | 29 |
| 114.9 | assert / retract | YIPPEE::GUIMBAL | vanished in a puff of logic | Tue Nov 17 1987 03:26 | 8 |
| 114.10 | ... and also like this ... | AITG::PUDER | Karl Puder | Tue Nov 17 1987 10:05 | 7 |