Thread Tree View: comp.lang.prolog
1 messages
Depth: 0
Cached
Build time: 729.792µsms
| 1 messages | Max depth: 0
Thread Tree
1 nodes
max depth: 0
1 leaves
Root Message
Unification with Occur-Check in Quintus-Prolog
From: Max Moser
Date: Thu, 05 Nov 1992 11:32
Article: 1560
Message-ID: <1992Nov5.113203.8603@Informatik.TU-Muenchen.DE>
Debug Information
Tree Statistics
- Root Article: 1560
- Message Count: 1
- Max Depth: 0
- Cache Hit: Yes
- Build Time: 729.792µs
Thread Root
- Subject: Unification with Occur-Check in Quintus-Prolog
- From: Max Moser
- Date: Thu, 05 Nov 1992 11:32
- Article: 1560