Thread Tree View: net.lang.prolog
1 messages
Depth: 0
Cached
Build time: 818.161µsms
| 1 messages | Max depth: 0
Thread Tree
1 nodes
max depth: 0
1 leaves
Root Message
Prolog theorem prover
From: David Plaisted
Date: Tue, 04 Nov 1986 19:05
Article: 792
Message-ID: <162@unc.unc.UUCP>
Debug Information
Tree Statistics
- Root Article: 792
- Message Count: 1
- Max Depth: 0
- Cache Hit: Yes
- Build Time: 818.161µs
Thread Root
- Subject: Prolog theorem prover
- From: David Plaisted
- Date: Tue, 04 Nov 1986 19:05
- Article: 792