Computer logic; Computer programming; Reduction; Simplification; Strategy; Compilers; Computer programs; Logic Programming; Rewriting; Lazy Evaluation; Rules; F Computer Programs; Horn Clauses; Axioms;
机译:用重写逻辑编写程序以进行声明式编程
机译:具有不确定的惰性函数和内置谓词的函数一阶逻辑程序的证明过程
机译:惰性函数逻辑程序的部分评估
机译:DL-Programs在数据日志可重写描述逻辑上的TACTABLE推理
机译:用组合逻辑单元编译AHPL描述,以建立可编程逻辑阵列的路径。
机译:对数极性视域上视差的近乎最佳组合
机译:用于术语重写系统和逻辑编程的Hyperedge替代丛林重写