Extended Hereditary Harrop Formulas in Lambda Prolog
Helmet represents a further step towards the definition of a
logical environment in which specifying complex programming features
aided by automated-deduction systems a la Prolog.
The interpreter presented here is based on a subset of Forum called Ehhf
in which non-determinism is reduced to multiple-headed clause selection.
We present different examples of specification like: code mobility,
www programming, concurrent object-oriented programming.
For more details download this draft.
A prototype in lambdaProlog has been developed, click here for more
The complete package can be found here,
it is based on the latest version of lambdaProlog called
 Logic & Linear Programming in Linear Logic G.Delzanno,
University of Pisa TD-2-97, PhD-Thesis
here to download the gzipped postscript.