Skip to content

Decide on xxx_time semantics

In irrelevance_common.pl, creation_time/2 works as (+,-), other xxx_time/2 are implemented as (?,?). The tests for all of these predicates are commented to test (+,+), (+,-), and (-,+). But actually only (+,+) and (+,-) is tested!