You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It would be very helpful to add the support of the resolution cut operator !, as in other Prolog variations.
Also, the writing numbers in rules or facts seems does not work properly. In this case, the system warns a user that there is some missed dot or a comma.
The text was updated successfully, but these errors were encountered:
It would be very helpful to add the support of the resolution cut operator
!
, as in other Prolog variations.Also, the writing numbers in rules or facts seems does not work properly. In this case, the system warns a user that there is some missed dot or a comma.
The text was updated successfully, but these errors were encountered: