15-317 Constructive Logic
Software

SML

We assume that all students know how to run Standard ML of New Jersey or some other SML compiler.

Dcheck

Dcheck is an experimental derivation parser and checker. Dcheck will run (and provide output) on your assignments on Gradescope.

• Documentation for Dcheck
• An example Dcheck file

Prolog

In the middle part of this course, we will be writing some programs in Prolog. Two good, free Prolog interpreters are GNU-Prolog and SWI-Prolog.

[ Home | Schedule | Assignments | Software ]