Prolog

Datatypes and Variables