The Wild LIFE Handbook (1994)
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
author = {Prepublication Edition and Hassan Aït-Kaci and Hassan At-kaci and Bruno Dumant and Bruno Dumant and Richard Meyer and Richard Meyer and Andreas Podelski and Andreas Podelski and Peter Van Roy and Peter Van Roy},
title = {The Wild LIFE Handbook},
year = {1994}
}
Bookmarks
OpenURL
Abstract:
This handbook provides a tutorial of the LIFE programming language as well as a complete description of the capabilities of the Wild LIFE 1.02 system. Although we have attempted to make the tutorial self-contained, it is preferable that the reader be familiar with Prolog. The tutorial exposes gradually the main components of LIFE in a synthetic approach: its original data structure---/-term---and its use in predicates, functions, and sort (type) definitions. Along the way, many useful examples are provided and some common pitfalls are discussed and illustrated. R esum e Ce manuel fournit un cours d'initiation au langage de programmation LIFE, ainsi qu'une description detaillee des predicats et fonctions predefinis dans l'interprete Wild LIFE 1.02. C'est la premiere fois que nous tentons d'ecrire une introduction pratique a la programmation en LIFE. Bien que nous fassions l'effort de n'utiliser que des notions e lementaires ou predefinies, il est preferable que le lecteur ait deja une...
