|
From: Kostas O. <ko...@re...> - 2015-10-23 15:04:52
|
According to my reading of the Redlog manual, sec. 3.7, the following
should work, and not ask the question:
Reduce (Free CSL version), 20-Oct-15 ...
1: load redlog;
2: rlset ibalp;
{}
3: II := a -> b;
II := a -> b
4: rlsimpl II;
Declare -> (bimpl) predicate ? (Y or N)
?
Am I doing something wrong, or is the documentation perhaps out of date?
Kostas
|