[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Labeling outside of fd_labeling?
|
From: |
Jan Burse |
|
Subject: |
Labeling outside of fd_labeling? |
|
Date: |
Sat, 16 Jun 2012 16:44:02 +0200 |
|
User-agent: |
Mozilla/5.0 (Macintosh; Intel Mac OS X 10.6; rv:13.0) Gecko/20120604 Firefox/13.0 SeaMonkey/2.10 |
Dear All,
Small question. I just posed the following query:
?- X #< Y, Y #< Z, Z #< X.
The interpreter then was busy for around ~4 secs
and then responded with "no".
The "no" is actually correct, by transitivity we have
X #< Z which conflicts with Z #< X.
What I wonder is what keeps the interpreter busy for
~4 secs and whether the "no" is reliable.
Bye
- Labeling outside of fd_labeling?,
Jan Burse <=