functional programs, was: Re: [Termtools] Next competition

[Johannes Waldmann]

> ... on those examples that are outside the language that it can handle.

OK.

Of course what we need in the first place
are the examples themselves.

I guess you (Jürgen) have some? Who collects them? You? Claude?

Also, the suggestion was to have a program and a start term.
What would be the syntax for giving this term?

( How is it done for Prolog? At the moment I cannot access examples in
http://www.lri.fr/%7Emarche/tpdb/tpdb-2.0/LP/lpexamples/ )
-- 
-- Johannes Waldmann -- Tel/Fax (0341) 3076 6479/80 --
---- http://www.imn.htwk-leipzig.de/~waldmann/ -------

_______________________________________________
Termtools mailing list
Termtools at serveur-listes.lri.fr
http://serveur-listes.lri.fr/mailman/listinfo/termtools