We can make Prolog print out all the answers to a question by deliberately making it fail, using the fail predicate. Availability We currently have two Prolog implementations available. BinProlog4.00 is available on the UNIX system scott.csm.astate.edu. If you can ftp to scott, you can obtain dos and windows versions of BinProlog4.00. It is menu-driven and has interactive editing capabilities.
Arity is available on the server caddo.astate.edu.