TY - GEN AU - Naish,Lee TI - Negation and control in PROLOG SN - 038716815X (U.S.) PY - 1986/// CY - Berlin, New York PB - Springer-Verlag KW - Prolog (Computer program language) N1 - Contine bibliografie ER -