期刊书目 › BOOKS with Alphabet L (La, Lb,Lc, Ld, Le…... ) › Titlebook: Logic Program Synthesis and Transformation; Proceedings of LOPST Yves Deville (Chair) Conference proceedings 1994 British Computer Society

ELUC 发表于 2025-4-1 03:00:24

http://reply.papertrans.cn/59/5879/587881/587881_61.png

AMEND 发表于 2025-4-1 06:52:28

,Specialising the Ground Representation in the Logic Programming Language Gödel,ms have the advantage of having a declarative semantics and can be optimised by program specialisation, to execute in a time comparable to equivalent Prolog meta-programs which use a non-ground representation.

查看完整版本: Titlebook: Logic Program Synthesis and Transformation; Proceedings of LOPST Yves Deville (Chair) Conference proceedings 1994 British Computer Society