public string ToSource(SourceLanguage language) { var ret = new StringWriter(); lock (Sync) foreach (Rule rule in arrayList) { ret.WriteLine(rule.ToSource(language)); } return(ret.ToString()); }
public string ToSource(SourceLanguage language) { language = language.Inner(); if (this.body == null) { return(this.head.ToSource(language) + "."); } else { return(this.head.ToSource(language) + " :- " + this.body.ToSource(language) + "."); } }
public override string ToSource(SourceLanguage language) { if (language != SourceLanguage.Prolog) { return("?" + this.vname); } if (Anonymous) { return("_"); } return(this.vname); }
public string ToSource(SourceLanguage language) { string result = ""; for (var i = 0; i < this.plist.Arity; i++) { result += ((Term)this.plist.ArgList[i]).ToSource(language); if (i < this.plist.Arity - 1) { result += ", "; } } return(result); }
public override string ToSource(SourceLanguage language) { language = language.Inner(); string result = ""; if (IsListName(this.fname) && Arity == 2) { Part x = this; { result += "["; var com = false; while (IsList(x)) { if (com) { result += ", "; } result += x.ArgList[0].ToSource(language); // May need to case var/atom/term com = true; x = x.ArgList[1]; } if (x.ToSource(SourceLanguage.Prolog) != "[]") { result += " | "; result += x.ToSource(language); } result += "]"; return(result); } } if (Arity == 0) { if (fname == "cut") { return("!"); } return(ReadableName); } PartListImpl argList = this.ArgList; if (argList == null) { return(result + "()"); } result += "" + ReadableName + "("; result += argList.ToSource(language); result += ")"; return(result); }
public override string ToSource(SourceLanguage language) { string result = ""; bool com = false; //result = "plist("; foreach (Part p in tlist) { if (com) { result += (", "); } result += p.ToSource(language); com = true; } // result += ")"; return(result); }
public abstract string ToSource(SourceLanguage language);