private static string clasPathOf(jpl.JPL jpl1) { string s = null; var cl = jpl1.getClass().getClassLoader(); if (cl != null) { var r = cl.getResource("."); if (r != null) { s = r.getFile(); } else { var a = jpl1.GetType().Assembly; if (a != null) { s = a.Location; } } } return s; }
public static jpl.Term InModule(string s, jpl.Term o) { if (s == null || s == "" || s == "user") return o; return new jpl.Compound(":", new Term[] { new jpl.Atom(s), o }); }