[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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]