Filter Results:
- Full text PDF available (47)
Publication Year
1990
2018
- This year (1)
- Last 5 years (21)
- Last 10 years (36)
Publication Type
Co-author
Journals and Conferences
Learn More
- Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You
- PADL
- 2000
Delaying-based tabling mechanisms, such as the one adopted in XSB, are nonlinear in the sense that the computation state of delayed calls has to be preserved. In this paper, we present the… (More)
- Neng-Fa Zhou
- TPLP
- 2012
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 constraint solving,… (More)
- Neng-Fa Zhou, Taisuke Sato, Yi-Dong Shen
- TPLP
- 2008
Recently there has been a growing interest of research in tabling in the logic programming community because of its usefulness in a variety of application domains including program analysis, parsing,… (More)
- Taisuke Sato, Yoshitaka Kameya, Neng-Fa Zhou
- IJCAI
- 2005
PRISM is a logic-based Turing-complete symbolicstatistical modeling language with a built-in parameter learning routine. In this paper,we enhance the modeling power of PRISM by allowing general PRISM… (More)
- Neng-Fa Zhou, Taisuke Sato
- 2003
We present in this paper a state-of-the-art implementation of PRISM, a language based on Prolog that supports statistical modeling and learning. We start with an interpreter of the language that… (More)
- Neng-Fa Zhou
- TPLP
- 2006
In this paper, we propose a new language construct, called AR (Action Rules), and describe how various propagators for finite-domain constraints can be implemented in it. An action rule specifies a… (More)
- Neng-Fa Zhou
- ACM Trans. Program. Lang. Syst.
- 1996
Parameter passing and control stack management are two of the crucial issues in Prolog implementation. In the Warren Abstract Machine (WAM), the most widely used abstract machine for Prolog… (More)
- Neng-Fa Zhou
- JICSLP
- 1996
The e ciency of delay depends to a large extent on the following four basic operations: delay, wakeup, interrupt, and resume. Traditional implementations of delay in the WAM are slow because three… (More)
- Neng-Fa Zhou, Christian Theil Have
- TPLP
- 2012
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 answers and the need… (More)
- Neng-Fa Zhou, HÃ¥kan Kjellerstrand, Jonathan Fruhman
- SpringerBriefs in Intelligent Systems
- 2015
Picat is a general-purpose programming language that includes features from multiple programming paradigms. By combining imperative programming’s control flow features with more advanced features… (More)