机译:将LPOD和CR-Prolog2转换为标准答案集程序
机译:将P-Log,LPMLN,LPOD和CR-PROLOG2转换为标准答案设置程序
机译:lambdaProlog(QS):高阶逻辑编程中的功能空间推理(简短论文)
机译:ASP-PROLOG:Prolog中答案集程序的推理系统
机译:Prolog中基于知识的系统的元编程。
机译:c军N末端激酶的延长与肿瘤坏死因子α诱导的人类软骨细胞死亡相关。
机译:AnsProlog *编程环境(APE):通过集成开发环境的实施来研究用于答案集编程的软件工具
机译:关于prolog程序终止的推理