An Executable Specification of Oncology Dose-Escalation Protocols with Prolog | Hacker News Reader