The Craft of Prolog | Synapse