Skip to content

Commit cf1db88

Browse files
committed
Update logic.py
1 parent 7de65ce commit cf1db88

File tree

1 file changed

+2
-4
lines changed

1 file changed

+2
-4
lines changed

logic.py

Lines changed: 2 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -56,9 +56,7 @@ def tell(self, sentence):
5656
def ask(self, query):
5757
"""Return a substitution that makes the query true, or,
5858
failing that, return False."""
59-
for result in self.ask_generator(query):
60-
return result
61-
return False
59+
for first(self.ask_generator(query), default=False)
6260

6361
def ask_generator(self, query):
6462
"Yield all the substitutions that make query true."
@@ -920,7 +918,7 @@ def occur_check(var, x, s):
920918
return (occur_check(var, x.op, s) or
921919
occur_check(var, x.args, s))
922920
elif isinstance(x, (list, tuple)):
923-
return first([e for e in x if occur_check(var, e, s)])
921+
return first(e for e in x if occur_check(var, e, s))
924922
else:
925923
return False
926924

0 commit comments

Comments
 (0)