Täytyy olla Ohjelmointiohjelmisto Varten Logtalk

        Logtalk on objektiivinen logiikan ohjelmointikieli, joka voi käyttää useimpia Prolog-toteutuksia back-end-kääntäjänä. Monitutkimuskielenä Logtalkilla on tuki sekä prototyypeille ja luokille, protokolleille (rajapinnoille), komponenttiperustaiseen...