Why not jump to prolog if you want to want to declare what the properties of the... | Hacker News

Hacker Timesnew | past | comments | ask | show | jobs | submit

Tyr42 on April 16, 2012 | parent | context | favorite | on: Light Table - a new IDE concept

Why not jump to prolog if you want to want to declare what the properties of the code are and have the compiler figure out how to actually do it?

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact