fix operator handling (by UN).
This commit is contained in:
parent
756bba9bc5
commit
4d5c70b64b
@ -99,7 +99,7 @@
|
|||||||
'$check_op_name'(P,T,'|',G) :-
|
'$check_op_name'(P,T,'|',G) :-
|
||||||
(
|
(
|
||||||
integer(P),
|
integer(P),
|
||||||
P < 1001
|
P < 1001, P > 0
|
||||||
;
|
;
|
||||||
atom_codes(T,[_,_])
|
atom_codes(T,[_,_])
|
||||||
), !,
|
), !,
|
||||||
|
Reference in New Issue
Block a user