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.

For a free taste of the kind of puzzle, the kind of logical treatment and the way a solution is produced

To use the site, you need to register your name and password.


If you have not yet registered and

  • you are a member of a registered group (e.g. a student doing a course which has been registered as a group) you will need to register as a New User

  • you are the organiser of a group which is not yet registered (e.g. you are the person teaching the course) you will need to register that Group

  • you are not associated with any group, but just want to use the site for your own interest or amusement, you will need to register as a Single User

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.


Copyright © 2001, 2006 by The Australian National University