Bug #2

Jump to bottom

Vincent Hsiao edited this page Aug 15, 2017 · 1 revision

command(af(fif(and(not(my(car)),red(car)),conclusion(friend(car))))).
command(af(not(my(car)))).
command(af(red(car))).

/* the formula is rewritten using |s */
command(sr).
command(sdb).

/* friend(car) should be derived, but it is not */
command(sr).
command(sdb).

Clone this wiki locally