[Termtools] LP and FP competition

[Peter Schneider-Kamp]

Hi Simon,

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.

Best regards,
Peter

Simon Bailey wrote:
> 
> On Oct 15, 2008, at 4:14 PM, Peter Schneider-Kamp wrote:
>> having the abstract query as a part of the input problem definitely
>> seems the way to go.
>>
>> For compatibility with parts of the existing example sets and to avoid
>> that the abstract query produces a failure, I would propose the
>> following syntax (based on % being the Prolog character for line
>> comments):
>>
>> %query: p(i,o).
>>
>> This would specify all queries p(t_1,t_2) where t_1 is a ground
>> term and t_2 is arbitrary.
>>
>> We could agree to have this comment line be the first line of
>> every file.
>>
>> Some examples also use 'b' (for bound) instead of 'i' (for input)
>> and 'f' (for free) instead of 'o' (for output). There is also
>> a variant with 'g' (for ground) and 'a' (for any), but I don't
>> think there are any such examples in the TPDB.
>>
>> What do you think?
> 
> 
> i think this suggestion makes sense, but for backward compatibility we
> should have the query available in the database. so, is there an easy
> way to get the query from a given LP file? (does anyone have any code
> they'd be willing to donate?).
> 
> 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/
> 



-- 
Peter Schneider-Kamp   mailto:psk at informatik.rwth-aachen.de
LuFG Informatik 2      http://verify.rwth-aachen.de/psk
RWTH Aachen            phone: +49 241 80-21211
-------------- next part --------------
A non-text attachment was scrubbed...
Name: extract_query.py
Type: text/x-python
Size: 1391 bytes
Desc: not available
Url : http://lists.lri.fr/pipermail/termtools/attachments/20081024/5f339209/attachment.py