10 citations · 15 across the 4 of their papers we have counts for
4 papers
Combinatorial Search With Picat
Neng-Fa Zhou
Picat, a new member of the logic programming family, follows a different doctrine than Prolog in offering the core logic programming concepts: arrays and maps as built-in data type…
Efficient Tabling of Structured Data with Enhanced Hash-Consing
Neng-Fa Zhou, Christian Theil Have
Current tabling systems suffer from an increase in space complexity, time complexity or both when dealing with sequences due to the use of data structures for tabled subgoals and a…
The Language Features and Architecture of B-Prolog
Neng-Fa Zhou
B-Prolog is a high-performance implementation of the standard Prolog language with several extensions including matching clauses, action rules for event handling, finite-domain con…
Linear Tabling Strategies and Optimizations
Neng-Fa Zhou, Taisuke Sato, Yi-Dong Shen
Recently, the iterative approach named linear tabling has received considerable attention because of its simplicity, ease of implementation, and good space efficiency. Linear tabli…