The Symbolic Programming module primarily focuses around the teaching of the Prolog language.

Prolog language features include:

• High level
• Declarative Syntax
• Functional Programming Style