An unfold/fold transformation framework for definite logic programs

• Main Authors: Roychoudhury, A., Kumar, K.N., Ramakrishnan, C.R., Ramakrishnan, I.V.
• 其他作者: COMPUTER SCIENCE
• 格式: Article
• 出版: 2013
• 主題: Folding; Inductive theorem proving; Logic programming; Program transformation; Unfolding
• 在線閱讀: http://scholarbank.nus.edu.sg/handle/10635/39162
• 機構: National University of Singapore

10.1145/982158.982160