import java.util.*;
class BooleanLogic {
 Random random = new Random();
 
 public static void main(String[] args) {
 String rules = "a<-b,c;b<-d,e;c<-d,f;d;e;f"; hornReasoning(rules.split(";")); unitResolution(rules.split(";")); } public static String neg(String pTerm) { if (pTerm.startsWith("-")) return pTerm.substring(1); else return "-"+pTerm; } public static String rewrite(String rule) { StringBuffer rzRule = new StringBuffer(); String head = head(rule, "<-"); String body = tail(rule, "<-"); rzRule.append(head); if (body.length()> 0) { 
 String[] conds = body.split(",");
 for (int i=0; i<conds.length; i++) rzRule.append(","+neg(conds[i])); } return rzRule.toString(); } public static void unitResolution(String[] pRules) { Vector rules = new Vector(); for (int ri=0; ri<prules.length; ri++) rules.add(rewrite(pRules[ri])); for (int ri=0; ri<rules.size(); ri++) { String rule1 = (String) rules.get(ri); if (rule1.indexOf(",")>0) continue; // it's not unit rule.
 String term = rule1;
 String negTerm = neg(term);
 for (int rj=0; rj<rules.size(); rj++) { String rule2 = (String) rules.get(rj); String exp = ","+rule2+","; if (exp.indexOf(","+negTerm+",")>0) {
 String unifyExp = replace(exp, ","+negTerm+",", ",");
 String newRule = unifyExp.substring(1, unifyExp.length()-1);
 rules.add(newRule);
 System.out.println("unfiy("+rule1+"&#124;"+rule2+")="+newRule);
 }
 }
 } 
 }
 
 public static void hornReasoning(String[] rules) {
 TreeMap trueMap = new TreeMap();
 int satisfyRuleCount;
 do {
 satisfyRuleCount = 0;
 for (int ri=0; ri<rules.length; ri++) { if (rules[ri].length() == 0) continue; String head = head(rules[ri], "<-"); String body = tail(rules[ri], "<-"); String[] conds = body.split(","); boolean isSatisfy = true; for (int ci=0; ci<conds.length; ci++) { if (conds[ci].length() == 0) continue; if (trueMap.get(conds[ci]) == null) isSatisfy = false; } if (isSatisfy) { System.out.println(rules[ri]); trueMap.put(head, "1"); rules[ri] = ""; satisfyRuleCount ++; } } } while (satisfyRuleCount> 0);
 }
 public static String head(String pStr, String pSpliter) {
 int spliterPos = pStr.indexOf(pSpliter);
 if (spliterPos < 0) return pStr; return pStr.substring(0,spliterPos); } public static String tail(String pStr, String pSpliter) { int spliterPos = pStr.indexOf(pSpliter); if (spliterPos < 0) return ""; return pStr.substring(spliterPos+pSpliter.length()); } public static String replace(String pStr, String fromPat, String toPat) { if (fromPat.length()==0) return pStr; if (pStr.indexOf(fromPat)<0) return pStr; StringBuffer rzStr = new StringBuffer(); int strIdx = 0, nextIdx; while ((nextIdx = pStr.indexOf(fromPat, strIdx))>=0) {
 rzStr.append(pStr.substring(strIdx, nextIdx));
 rzStr.append(toPat);
 strIdx = nextIdx + fromPat.length();
 }
 rzStr.append(pStr.substring(strIdx));
 return rzStr.toString();
 }
}
</div><div class="naked_ctrl">
<form action="/index.cgi/speech" method="get" name="gate">
<p><a href="http://altstyle.alfasado.net">AltStyle</a> によって変換されたページ <a href="http://ccckmit.wdfiles.com/local--files/code:boolean/BooleanLogic.java">(-&gt;オリジナル)</a>
/ <label>アドレス: <input type="text" name="naked_post_url" value="http://ccckmit.wdfiles.com/local--files/code:boolean/BooleanLogic.java" size="22" /></label> <label>モード: <select name="naked_post_mode">
<option value="default">デフォルト</option>
<option value="speech" selected="selected">音声ブラウザ</option>
<option value="ruby">ルビ付き</option>
<option value="contrast">配色反転</option>
<option value="larger-text">文字拡大</option>
<option value="mobile">モバイル</option>
</select>
<input type="submit" value="表示" />
</p>
</form>
</div>