% From The Art of EyeProlog, Chapter 33 — Pattern 1: Ground sentence first.
:- use_module(library(lists)).

assigned_badge(alex, badge_17).