?imko, A. & ?i?ka, J., 2013. Logic Programming and Interactive Applications. Organon F, 20, pp.187-205. Available at: http://www.klemens.sav.sk/fiusav/doc/organon/prilohy/2013/2/187-205.pdf.