revision.plt 418 Bytes
Newer Older
SOLIMAN Sylvain's avatar
SOLIMAN Sylvain committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26
:- use_module(library(plunit)).

:- begin_tests(revision).

test(
  'categorize_query',
  [
    true((ECTL, UCTL, ACTL) == (['EF'(a)], ['EU'(a, 'AG'(b))], ['AG'(b)]))
  ]
) :-
  revision:categorize_query(
    'EF'(a) /\ 'AG'(b) /\ 'EU'(a, 'AG'(b)),
    ECTL,
    UCTL,
    ACTL
  ).

test(
  'revise_model'
) :-
  command(present(a)),
  command(absent(b)),
  revise_model('EF'(b /\ not(a))).


:- end_tests(revision).