TY - BOOK AU - Leadbetter, A Peter TI - Prolog:From specific to prototype U1 - 6.3 PY - 1991/// CY - Paris PB - Blackwell Scientific. ER -