A prolog implementation of the method of Euler circles for syllogistic reasoning /
Yule, Peter.
University of Edinburgh.Human Communication Research Centre.
Economic and Social Research Council (Great Britain)
Edinburgh : HCRC Publications,
1996.
HCRC is supported by the Economic and Social Research Council.
Includes bibliographical references.
Syllogism.