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 });
}
