Implementations of Logic Programming Systems häftadEngelska, 2012