Logic-based artificial intelligence | lit.salon