6. Acknowledgements, disclaimer, availability and licence arrangements

MacLogic was created at the University of St Andrews, Fife, Scotland, under the MALT (Machine Assisted Logic Teaching) Project, a project for the encouragement of computerised logic teaching, funded from 1987 to 1989 by the United Kingdom's University Grants Committee through its Computers in Teaching Initiative.

Those with some direct responsibility for the program are:

Roy Dyckhoff, Bob Hale, Neil Leslie, Brenda Rapley and Stephen Read

MacLogic was awarded First Prize in the 1989 Philosophy Software Competition, organised by the Philosophy Documentation Center, Bowling Green State University, Ohio, USA.


MacLogic was developed using LPA MacPROLOG, and includes the MacPROLOG Runtime Software, all copyright and industrial rights therein being owned by LPA Ltd. No warranty is given as to the merchantable quality or fitness for any particular purpose of this software, and no liabilities of any kind are accepted either by LPA, the MALT project, St Andrews University, the distributors, or anyone else whatsoever. In particular, no guarantee is given that the implementation of any particular logic is consistent and complete.

MacLogic is distributed for at a non-commercial charge on condition that comments are reported to the authors. Licences to use it are available for purchase: for details write (or send e-mail) to the address below. A demonstration copy is available by anonymous file transfer.

No charge is made to students at an institution with a site licence. They are free to use MacLogic on the institution's machines, and on their own, on condition that they use it only for learning about logic.



Dr Roy Dyckhoff,
Machine Assisted Logic Teaching Project,
Computer Science Division,
University of St Andrews,

St Andrews, Fife, SCOTLAND, UK.

Tel: +44-1334-463267
Fax: +44-1334-463278

e-mail: rd@dcs.st-and.ac.uk
www http://www-theory.dcs.st-and.ac.uk/~rd/