~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

An educational chess puzzle game designed to teach the player first-order logic (a.k.a. predicate logic).

Includes 21 levels of varying difficultly, can you complete them all?

If you are playing the game in your browser then it is recommended to use full screen (click on the blue icon at the bottom left of the game)

This game is part of my master's thesis in computer science, if you have played the game it would be much appreciated if you could fill in this short survey to study the effectiveness of this game at teaching first-order logic. Link: https://forms.gle/VCqS57aesV3Vt41p8.

The last level's sentence is actually written wrong, oops. It should read:  ∃ x bishop(x) ∧ ∀ y ¬adjacent(x, y) ∨ ¬bishop(y). I will update it in the future...

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

StatusReleased
PlatformsWindows, macOS, HTML5
Rating
Rated 3.7 out of 5 stars
(3 total ratings)
AuthorIthyn
GenreEducational, Puzzle
Made withUnity
Tags2D, Chess, first-order-logic, logic, Mouse only, Non violent, predicate-logic, Unity
Average sessionAbout a half-hour
LanguagesEnglish
InputsMouse, Touchscreen
AccessibilityColor-blind friendly, One button

Download

Download
Windows zip 20 MB
Download
Mac zip 23 MB

Install instructions

  • For Windows extract the .zip and run the Logic Chess application.
  • For Mac extract the .zip and you should have a .app file which you can run.

Comments

Log in with itch.io to leave a comment.

Being able to play on a smaller screen would be nice, but otherwise this is a nice game.

Thank you. I have updated the resolution so now it is a smaller : ) Also if you have time could you fill in this short survey (https://forms.gle/VCqS57aesV3Vt41p8) since this game is part of my master's thesis. No worries if you don't want to though

I filled out the survey, but I don't think you'll like my answers.

And thank you for resizing the game. I had it fullscreen earlier and things still seemed to be running off the edges of my monitor. It looks much better now.

BTW, you might be interested in the chessboard system I've been working on. It expands on the basic idea of chess to allow for lots of variants, including different board shapes and sizes. Check out the X2-FEN link below the board. I expanded the already expanded X-FEN specification.

http://chesssite.ericsgear.com/TestChessBoard.html

This is an early Alpha test. I still have a lot to add to it to get it to where people can play the chess game they design. I still need to add hexagons instead of squares, a wide range of variant pieces, and so much more.

I'd like to get this to a point where it becomes a online chess site, like Chess.com, but that's more time and effort than I really have. Would you be interested in helping me?

Thank you for filling it in. Sounds like a cool idea and looks good so far. I don't have any time to help at the moment since I'm still doing my degree as well as applying to jobs etc. Good luck though for now!

(+1)

Thanks, and I totally understand about not having time. I'm job searching, too. I'm doing projects like the chess site and other programming to keep my skills sharp and because I'm trying to make that my day job, instead of working for someone else.

Good luck! I hope everything you're doing works out.