Exploring Discrete Structures using a Complete Variant of Prolog

Norman Neff. Exploring Discrete Structures using a Complete Variant of Prolog. In Rosa Maria Bottino, Paola Forcheri, Maria Teresa Molfino, editors, ICLP 1994 Workshop W11: Logic Programming and Education, Santa Margherita Ligure, Italy, June 1994. 1994.

Abstract

Abstract is missing.