Sikrel es un lenguaje de representacion de conocimiento, traducido por una aplicacion en python llamada sikonsole