机译:超越Tamaki-Sato样式的普通逻辑程序的展开/折叠转换
Logic programming; Program transformations; Unfold/fold transformations; Normal logic programs;
机译:超越Tamaki-Sato样式的普通逻辑程序的展开/折叠转换
机译:为了避免逻辑程序中不必要的变量,本指令中的展开-定义-折叠
机译:通过转换属性关联可废和常规逻辑编程
机译:用于普通逻辑程序的广义展开/折叠转换系统
机译:免剪裁的Gentzen风格的系统,用于S4和中间逻辑的某些常规扩展
机译:从实验展开率评估的去溶剂化/溶剂化障碍对蛋白质折叠/展开的能量和结构性后果
机译:超越Tamaki-Sato样式的普通逻辑程序展开/折叠转换