-
Notifications
You must be signed in to change notification settings - Fork 102
Open
Milestone
Description
A python program, which does not determine in the prolog part,
cannot be stopped by entering Ctrl-C.
#!/usr/bin/python
from pyswip import Prolog
prolog = Prolog()
prolog.assertz("""
f(X) :-
X #> 0,
f(X)
""")
for result in prolog.query("f(X)"):
print(result["X"])
Python 3.9.1
pyswip 0.2.10
SWI-Prolog version 8.2.3 for x86_64-linux
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
No labels