Mentions légales du service

Skip to content

Inconsistant rendering of labels

UCQs should have a label, and should render it in print...

from py4graal import *
graal = Graal()
rb = graal.create_rulebase("! :- p(X).")
print(rb)
fb = graal.create_factbase("p(a).")
print(fb)
r = graal.create_rulebase("! :- q(X).")
print(r)
qc = graal.create_querycollection("?() :- q(X).")
print(qc)
q = graal.create_query("?() :- q(X).")
print(q)

Output:

[R:1754033821946_4] <⊥>() :- p(X).
p(a).
[R:1754033821956_7] <⊥>() :- q(X).
?() :- q(X).
?() :- q(X).