Abstract
In which, we formalise puzzles related to unusual numbers. The reader practises here constraint formalisation, in the style of constraints programming. Mace4 is quick at computing all the solutions, not only a single one, as most puzzles require from the human agent. Actually, in most cases, the human agent will be surprised by the huge number of interpretation models of a FOL theory. We will see throughout the book that, in many cases, the main task of the programmer will be to gradually reduce the number of models until a solution is found.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
References
Clessa, J. (1996). Math and logic puzzles for PC enthusiasts. Courier Corporation.
Dudeney, H. E. (2016). 536 Puzzles and curious problems. Courier Dover Publications.
Kordemsky, B. A. (1992). The Moscow puzzles: 359 mathematical recreations. Courier Corporation.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2021 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this chapter
Cite this chapter
Groza, A. (2021). Strange Numbers. In: Modelling Puzzles in First Order Logic. Springer, Cham. https://doi.org/10.1007/978-3-030-62547-4_3
Download citation
DOI: https://doi.org/10.1007/978-3-030-62547-4_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-62546-7
Online ISBN: 978-3-030-62547-4
eBook Packages: Computer ScienceComputer Science (R0)