Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Makefile.am | 11437 | logplain |
-rw-r--r-- | Makefile.in | 149098 | logplain |
-rw-r--r-- | ppl_interface_generator_xsb_H.m4 | 1627 | logplain |
-rw-r--r-- | ppl_interface_generator_xsb_cc.m4 | 4298 | logplain |
-rw-r--r-- | ppl_interface_generator_xsb_hh.m4 | 1424 | logplain |
-rw-r--r-- | ppl_interface_generator_xsb_prolog_generated_test_P.m4 | 2594 | logplain |
-rw-r--r-- | ppl_prolog_sysdep.hh | 1140 | logplain |
-rw-r--r-- | xsb_cfli.hh | 9144 | logplain |
-rw-r--r-- | xsb_clpq.P | 1820 | logplain |
-rw-r--r-- | xsb_clpq2.P | 1864 | logplain |
-rw-r--r-- | xsb_efli.cc | 2143 | logplain |
-rw-r--r-- | xsb_efli.hh | 2320 | logplain |
-rw-r--r-- | xsb_pl_check.P | 7870 | logplain |