Resolving dependencies...
Starting     th-abstraction-0.3.2.0
Starting     syb-0.7.1
Building     th-abstraction-0.3.2.0
Building     syb-0.7.1
Completed    syb-0.7.1
Completed    th-abstraction-0.3.2.0
Starting     th-lift-0.8.1
Building     th-lift-0.8.1
Completed    th-lift-0.8.1
Downloading  prolog-0.3.2
Downloaded   prolog-0.3.2
Starting     prolog-0.3.2
Building     prolog-0.3.2
Completed    prolog-0.3.2