| 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 |
|---|---|---|---|---|---|
| 93.1 | unification | AITG::PUDER | Karl Puder | Mon Jun 22 1987 11:34 | 34 |
| 93.2 | Prolog in Lisp | KIRK::WILLIAMS | Tue Jun 30 1987 10:51 | 123 | |
| 93.3 | the occurs check | AITG::PUDER | Karl Puder | Tue Jun 30 1987 12:00 | 5 |
| 93.4 | Maybe a switch, but don't get rid of it!!! | KIRK::WILLIAMS | Tue Jun 30 1987 13:40 | 12 | |
| 93.5 | Most implementations do get rid of it. | AITG::PUDER | Karl Puder | Tue Jun 30 1987 14:19 | 2 |
| 93.6 | A concession, another question. | KIRK::WILLIAMS | Wed Jul 01 1987 11:34 | 17 | |
| 93.7 | from Imperial College | AITG::PUDER | Karl Puder | Thu Jul 02 1987 15:13 | 2 |
| 93.8 | from Mars | MUGSY::GLANTZ | Mike | Tue Jul 14 1987 05:46 | 5 |
| 93.9 | Finding Numbers | MUNSBE::BOSLEY | Wed Jul 15 1987 04:41 | 91 | |
| 93.10 | Fuzzy Logic | KIRK::WILLIAMS | Mon Jul 20 1987 15:31 | 9 | |
| 93.11 | There is delayed unification. | THUNDR::BAILEY | Steph Bailey | Wed Jul 22 1987 13:35 | 8 |
| 93.12 | Re .11, available in PROLOG II | MUGSY::GLANTZ | Mike | Thu Jul 23 1987 03:50 | 5 |
| 93.13 | CURIE::VANTREECK | Mon Jul 27 1987 11:30 | 4 |