Logic programming and soft computing | lit.salon