potassco/clingo

It should be possible to return arbitrary sequences and not just lists from external python functions.

rkaminsk opened this issue · 5 comments

rkaminsk commented
It should be possible to return arbitrary sequences and not just lists from external python functions.
Aluriak commented

Are generators supported ?

def g():
    yield from (1, 2, 3)
rkaminsk commented

Yes, anything that is iterable is supported. But note that str and tuple are converted to clingo.Symbol (of type clingo.SymbolType.String and clingo.SymbolType.Function).

Aluriak commented

Thank you !

marypopa commented

Hi! I have a problem. I run this code with the clyngor in python
`from clyngor import ASP, solve

answers = ASP("""
rel(a,(c;d)). rel(b,(d;e)).
obj(X):- rel(X,) ; rel(X,Y): att(Y).
att(Y):- rel(,Y) ; rel(X,Y): obj(X).
:- not obj(X):obj(X).
:- not att(Y):att(Y).
""")
for answer in answers:
print(answer)and I get this error
FileNotFoundError: [WinError 2] The system cannot find the file specified
`

Aluriak commented

@marypopa Sounds like a clyngor related problem, doubled with an ASP syntax error. Please file this issue on clyngor repository, i will study it as soon as possible.