python - Why is pyDatalog not terminating? -

-



i'm taking @ pydatalog , created quick conversion program loosely based on blog entry:

convert_length.py:

from pydatalog import pydatalog  pydatalog.create_terms(','.join((     'scale',     'convert',     'from',     'to',     'intermediate',     'value',     'x',     'y')))  scale['meter', 'aln'] = 1.684132 scale['meter', 'angstrom'] = 1e+10 scale['meter', 'centimeter'] = 100 scale['meter', 'millimeter'] = 1000 scale['meter', 'inch'] = 39.370079  scale['light year', 'meter'] = 9.461e+15 scale['astronomical unit', 'meter'] = 1.496e+11  scale['foot', 'inch'] = 12 scale['yard', 'foot'] = 3 scale['mile', 'yard'] = 1760   scale['meter', 'm'] = 1 scale['centimeter', 'cm'] = 1 scale['millimeter', 'mm'] = 1 scale['light year', 'ly'] = 1 scale['astronomical unit', 'au'] = 1  scale[from, to] = 1/scale[to, from] scale[from, to] = scale[from, intermediate] * scale[intermediate, to]  convert[value, from, to] = value * scale[from, to]

things start in shell last print statement hangs:

python 3.5.2 (default, jul  5 2016, 12:43:10)  type "copyright", "credits" or "license" more information.  ipython 5.1.0 -- enhanced interactive python. ?         -> introduction , overview of ipython's features. %quickref -> quick reference.      -> python's own system. object?   -> details 'object', use 'object??' details.  in [1]: run convert_length.py  in [2]: print(x.in_(range(2))) x - 0 1  in [3]: print((y == convert[1, 'cm', 'inch'])) y                   ------------------- 0.39370078999999997  in [4]: print(x.in_(range(2)) & (y == convert[1, 'cm', 'inch']))

... , haven't substituted x in 1 see couple of values yet!

(scratch) ~/wk/pydatalog $ pip freeze | grep -i pydatalog pydatalog==0.17.1

am doing wrong?





wiki

Comments

Post a Comment

Popular posts from this blog

Asterisk AGI Python Script to Dialplan does not work -

-
i'm stuck project have check database of sip extension incoming caller id , dial sip extension. below receive when run script on asterisk cli. -- registered sip '9125' @ 192.168.1.102:50142 > saved useragent "zoiper rv2.8.40" peer 9125 [2017-08-22 13:53:33] notice[5095]: chan_sip.c:24558 handle_response_peerpoke: peer '9125' reachable. (17ms / 2000ms) == using sip rtp tos bits 184 == using sip rtp cos mark 5 -- executing [0112617769@from-trunk:1] answer("sip/obitrunk1-0000000d", "") in new stack > 0x1ca50d0 -- probation passed - setting rtp source address 192.168.1.98:16834 -- executing [0112617769@from-trunk:2] agi("sip/obitrunk1-0000000d", "test.py") in new stack -- launched agi script /var/lib/asterisk/agi-bin/test.py args: ['/var/lib/asterisk/agi-bin/test.py'] env line: agi_request: test.py env line: agi_channel: sip/obitrunk1-0000000d env line: agi_language: en env line: a
Read more

python - Read npy file directly from S3 StreamingBody -

-
i have many .npy (numpy) , .json files saved in s3, need download , load these files. for json files downloading files , loading dictionary using following code: obj = s3.object(bucket, key) response = obj.get() body = response['body'].read().decode('utf-8') data = json.loads(body) that way avoid writing .json file disk , reading it. now want same .npy files, equivalent? currently downloading file, saving temp file on disk , loading np.load avoid if possible. following https://stackoverflow.com/a/28196540/3509999 : obj = s3.object(bucket, key) io.bytesio(obj.get()["body"].read()) f: # rewind file f.seek(0) arr = np.load(f) wiki
Read more

kotlin - Out-projected type in generic interface prohibits the use of metod with generic parameter -

-
i start using kotlin , defined interface this: interface aadapter<vh : recyclerview.viewholder> { fun oncreateaviewholder(parent: viewgroup): vh fun onbindaviewholder(v: vh, position: int) } and when try use on code: class klasa ( private val adapter: aadapter<*> ) { fun dosth(){ //... val vh = this.adapter.oncreateaviewholder(parent) //on below line error adapter.onbindaviewholder(v, position) //... } } i error out-projected type 'aadapter<*>' prohibits use of 'public abstract fun onbindaviewholder(v: t, position: int): unit i tied add "in" or "out" definition i'm confused. how allow it. replace aadapter<*> aadapter<recyclerview.viewholder> . class klasa ( private val adapter: aadapter<recyclerview.viewholder> ) { // ... because have declared aadapter has type parameter vh type subclass of recyclerview.
Read more