ãTyRuBaã ã¨ããããã°ã©ãã³ã°è¨èªã«ã¤ãã¦èª¿ã¹ã¦ã¿ã¾ããProlog ãªã©ã«ä»£è¡¨ãããè«çåè¨èªã®ä¸ç¨®ã§ããã®è¨èªã®ç¹å¾´ã¨ãã¦ã¯ã ãã¶ã¤ã³ãã¿ã¼ã³ãªã©ã®æ½è±¡çãªæ¦å¿µãè¨è¿°ãã¦ãããããã¨ã« Javaã®ã³ã¼ããçæãããã¨ããç®çãããããã§ãã ã¾ã å®é¨çãªè¨èªãããã§ãããé¢ç½ãããªã®ã§ããã£ã¦ãã¾ãã¾ãã ãã¤ãéããééãã®ææ大æè¿ã ã¤ã³ã¹ãã¼ã« * è«çåè¨èªã¨ã¯ ä¾ï¼ List, Compound Term ä¾ï¼ * åæ¹åæ§ æç¶ãåçãªè¦æ¹ ä¾ï¼ or, ==, NOT, FINDALL, TEST, ... ä¾ï¼ï¼é«éè¿°èª TyNI ä¾ï¼ï¼ã©ã¤ãã©ãª ãã®ä»ã®ãããã¯ã¹ * Javaã®ã³ã¼ãçæ ã¤ã³ã¹ãã¼ã« (2003/06/15) ã¨ããããå®è¡ã«ã¯Javaãå¿
è¦ã§ãããæã¡ã§ãªãæ¹ã¯ J2SE ã®å°å
¥ãã TyRuBaæ¬ä½ã¯ãããã¸ã§ã¯ãã®ãã¼ã¸ ã® D
{{#tags}}- {{label}}
{{/tags}}