Examples from the live prax 16 March

# geoexport.py

#!/usr/bin/env python3

import sys
import json
import sqlite3

#: loodenurk 59.730786, 21.734843
#: kagunurk 57.319992, 28.744707
# latitude on 57, pohjas suur, lounas vaike
# longitude on 21, laanes vaike, idas suur

def main():
 
  # vota yhendust: kui baasi pole, see tehakse
  conn = sqlite3.connect("estgeodata2") 
  cur = conn.cursor()
  #sql_query = "select distinct object from rdf"
  sql_query = "select * from rdf"
  cur.execute(sql_query)
  rows = cur.fetchall()
  stats={}
  for row in rows:
    pred=row[2]
    if pred in stats:
      stats[pred]=stats[pred]+1
    else:
      stats[pred]=1
  for pred in stats:
    print(pred,stats[pred])

Näiteks kuidas käivitada (ei pea andma -strategy ja -parallel):

./gkc geodata.js prove1.js -strategy strategy.js -parallel 0

näitestrateegia strategy.js, mida eelmine käsurida kasutab:

{
"max_seconds":10,
"strategy":["query_focus","positive_pref"],
"query_preference":1, 
"max_answers":3
}

main()