https://github.com/JanWielemaker/tabling_library
Tip revision: 5ac1b7e61fa9d643057ed0cb0de8d53428ef443d authored by Jan Wielemaker on 17 May 2016, 08:01:40 UTC
Describe branches
Describe branches
Tip revision: 5ac1b7e
| File | Mode | Size |
|---|---|---|
| .fileheader | -rw-r--r-- | 1.5 KB |
| .gitignore | -rw-r--r-- | 12 bytes |
| Makefile | -rw-r--r-- | 65 bytes |
| README.md | -rw-r--r-- | 2.1 KB |
| batched_worklist.pl | -rw-r--r-- | 15.3 KB |
| double_linked_list.pl | -rw-r--r-- | 6.2 KB |
| global_worklist.pl | -rw-r--r-- | 449 bytes |
| table_datastructure.pl | -rw-r--r-- | 9.8 KB |
| table_link_manager.pl | -rw-r--r-- | 4.0 KB |
| table_print.pl | -rw-r--r-- | 3.4 KB |
| table_utils.pl | -rw-r--r-- | 7.8 KB |
| tabling.pl | -rw-r--r-- | 6.7 KB |
| test_tabling.pl | -rw-r--r-- | 24.5 KB |
| test_trie.pl | -rw-r--r-- | 2.1 KB |
| testlib.pl | -rw-r--r-- | 7.3 KB |
| testlib2.pl | -rw-r--r-- | 6.3 KB |
| trie.pl | -rw-r--r-- | 8.1 KB |
| wrapper.pl | -rw-r--r-- | 3.4 KB |
