TY  - GEN
AU  - Leadbetter, Peter
AU  - Leadbetter, Peter
TI  - Prolog: from formal specification to prototype
SN  - 9 780632 031610
U1  - 004.43PR  LEA 
PY  - 1991///
CY  - London
PB  - Blackwell scientific publications
KW  - Prolog(Computer program language)
KW  - Data structures in Prolog
ER  -