[Termtools] LP and FP competition

[Simon Bailey]

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/