vumix/commit
annotation time
author | Michiel Hildebrand |
---|---|
Fri Mar 30 17:02:40 2012 +0200 | |
committer | Michiel Hildebrand |
Fri Mar 30 17:02:40 2012 +0200 | |
commit | 30ebb947153148281569d006b82ca4c16b48e681 |
tree | ee0f2cc71e2c40434815c6ed86f543d665bee6e4 |
parent | c64d36346e1cb02aaa9f5043d919acc65c8b8f8d |
Diff style: patch stat
diff --git a/lib/experiment.pl b/lib/experiment.pl index a8a7de0..a96f9b2 100644 --- a/lib/experiment.pl +++ b/lib/experiment.pl @@ -9,6 +9,16 @@ :- rdf_meta target_annotation(r,+,-). +time_table(User) :- + ( user_annotated_target(User, Target), + rdf(Session, opmv:used, Target), + rdf(Session, opmv:wasStartedAt, literal(StartTime)), + rdf(Session, opmv:wasEndedAt, literal(EndTime)), + format('~w ~w ~n', [StartTime, EndTime]), + fail + ; true + ). + average_table(User) :- ( user_annotated_target(User, Target), findall(A, target_annotation(Target, User, A), As0),