3 ms·Eve because logic programming. EDIT: I can't believe nobody else mentioned Eve.by miguelrochefort 10y agoEve because logic programming. EDIT: I can't believe nobody else mentioned Eve.