I’ve recently found an interesting programming language called “prolog” (short for programming with logic”). It’s a language that can logically deduct things given some information. here is a tutorial for the language.

Also it’s important to note: the first few pages of this tutorial are assuming that you aren’t actually running their examples until later on. For those who (like me) want to run them: you should take the examples, put them into a file, and in the same directory as the file run
prolog [name of file]
Where “[name of file]” is the name of the file you saved the example in.