Prolog is a logic programming language in which we will write a couple of projects. We will use the SWI Prolog variation. It is well-supported, and you can find documentation and downloads at the above link. Prolog also runs on Sandbox.