Notice: Change of site address
This site is no longer maintained. For the current version of "Logic for Fun", go here instead. If you are really looking for the classic version of "Logic for Fun", you have come to the right place. Enter this site via the button below: it should still work.
Logic for Fun: Gateway
Behind this page is the "Logic for Fun" web site. This provides a variety of logical puzzles, ranging from very easy to totally baffling, and lets you solve them automatically by writing them up in a simple logical language. The puzzles are mainly intended to be used as an adjunct to a college course which may be in formal logic, critical thinking, computer science or another discipline. However, it can be enjoyed by anyone, student or not, who is prepared to think a little.
To use the site, you need to register your name and password.
If you have not yet registered and
Note that registering a group or single user is obligation-free: it does not commit you to signing a contract or to proceeding with activation of the account.
If you have already registered, click on ENTER. By so doing you are agreeing to respect the copyright of all materials on the site: see the copyright permission notice on the information page for details of what this means.