q = query(addFile({'file': 'ex1.ys', 'sha1': '935e8eac874176350b08d2ffc041fce0fb91504f'}))
all_claims
ssssssssssssssssssssssssssssssssssssssss
q = query(addFile({'file': 'ex1.ys', 'sha1': '935e8eac874176350b08d2ffc041fce0fb91504f'}))
all_claims
$q
echo $q
help
claims($q)
query(foo(3))
q = query(addFile({'file': 'ex1.ys', 'sha1': '935e8eac874176350b08d2ffc041fce0fb91504f'}))
all_claims
q = query(addFile({'file': 'ex1.ys', 'sha1': '935e8eac874176350b08d2ffc041fce0fb91504f'}))
all_claims
ls
lls
f1 = put_file(yices_rules)
f2 = put_file(test_claims_rules)
q = query(addFiles([[$f1], [[[$f2, $f1], $f2]]]))
q = addFile(foo)
q = addFile('foo')
q = addFile('foobar')
q = addFile('foobaz')
f1 = put_file(yices_rules)
q = addFile('foobaz')
q = addFile('foo')
help
predicates
predicates(True)
help
q = addFile('foo')
all_claims
q = addFile('bar')
