[Termtools] LP and FP competition

[Simon Bailey]

hi peter and all,

On Oct 24, 2008, at 12:01 PM, Peter Schneider-Kamp wrote:
> internally we use the attached Python function. I've put it into
> a small script that says NO ARGUMENT if you don't give an argument
> and ERROR if something bad happens while trying to parse the
> given file. If it finds a query, it prints the thing to standard out.
> If not, it prints NO QUERY.
>
> If you prefer, we could also provide a cleaned version of the
> LP category where all the queries are given in the same format.


thankyou very much for the script, that's perfect.

what should i do with the programs that generate either ERROR or NO  
QUERY? i can store them in the database with NO QUERY as the "query"  
or discard them. these are the failing LP problems:

tpdb-4.0/LP//lpexamples/numbervars.pl: NO QUERY
tpdb-4.0/LP//lpexamples/primes.pl: NO QUERY
tpdb-4.0/LP//talp/apt/dc_mod.pl: NO QUERY
tpdb-4.0/LP//talp/apt/gt_mod.pl: NO QUERY
tpdb-4.0/LP//talp/maria/aiakl.pl: NO QUERY
tpdb-4.0/LP//talp/maria/ann.pl: ERROR
tpdb-4.0/LP//talp/maria/boyer.pl: NO QUERY
tpdb-4.0/LP//talp/maria/browse.pl: NO QUERY
tpdb-4.0/LP//talp/maria/occur.pl: NO QUERY
tpdb-4.0/LP//talp/maria/peephole.pl: NO QUERY
tpdb-4.0/LP//talp/maria/qplan.pl: ERROR
tpdb-4.0/LP//talp/maria/rdtok.pl: NO QUERY
tpdb-4.0/LP//talp/maria/read.pl: NO QUERY
tpdb-4.0/LP//talp/maria/serialize.pl: NO QUERY
tpdb-4.0/LP//talp/maria/tictactoe.pl: ERROR
tpdb-4.0/LP//talp/maria/warplan.pl: ERROR

regards,
sb
--
Simon Bailey
Systems Administrator
Institut fuer Informatik
Universitaet Innsbruck
Technikerstrasse 21a/2
A-6020 Innsbruck
Tel: +43 (0) 512 507 - 6433
Mob: +43 (0) 664 812 5267
Fax: +43 (0) 512 507 - 2887
http://informatik.uibk.ac.at/