Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

also just pops into my head https://dbs.informatik.uni-halle.de/microlog/ for an entirely unrelated and completely different project that welds time onto prolog


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

Search: