2:-use_module(library(jpl)). 3 4:-dynamic(m_prologAlien/1). 5prologAlien(PL):-m_prologAlien(PL),!. 6prologAlien(PL):- 7 jpl_get_static('com.cyc.tool.subl.jrtl.nativeCode.subLisp.PrologAlien','me',PL),!, 8 assert(m_prologAlien(PL))