Bug of clause/2 Segmentation fault

sasagawa888 / nprolog

interpreter and compiler to be compatible with ARITY/PROLOG（MS-DOS)

Other

63 stars 3 forks source link

Bug of clause/2 Segmentation fault #72

Closed sasagawa888 closed 2 years ago

sasagawa888 commented 2 years ago

?- clause(my_call(X),Y). Y = (predicate_property(X,built_in),call(X)) ; Y = (predicate_property(X,dynamic),clause(X,true),write(X),get(D),get(Z),(+Z=';'->true;fail)) ; Segmentation fault (core dumped) sasagawa@DESKTOP-0D0L6O5:~/nprolog$

sasagawa888 commented 2 years ago

No problem.