General Intensional Programming System (GIPSY); Higher-Order Intensional Logic (HOIL); Intensional Programming; Multi-Tier Architecture; Peer-to-Peer Architecture; Run-Time System;
机译:高阶功能语言和内涵逻辑
机译:内涵式FOL,用于推理概率和概率逻辑程序
机译:计算问题的内涵答案-归纳逻辑编程方法
机译:使用普通的平面编程系统(GIPSY)进行评估,评估高阶密集逻辑(HOAL)表达式
机译:在GIPSY中使用JLucid,Objective Lucid和通用命令编译器框架进行混合内涵编程。
机译:BH-CIFOL:区分大小写的一阶逻辑
机译:使用通用内部编程系统(GIpsY)进行评估 高阶内涵逻辑(HOIL)表达式