Congruous
发表于 2025-3-26 23:08:35
http://reply.papertrans.cn/59/5879/587898/587898_31.png
发起
发表于 2025-3-27 02:43:11
http://reply.papertrans.cn/59/5879/587898/587898_32.png
爆炸
发表于 2025-3-27 05:26:15
978-3-540-16479-1Springer-Verlag Berlin Heidelberg 1986
细节
发表于 2025-3-27 09:58:10
Logic Programming ‘85978-3-540-39820-2Series ISSN 0302-9743 Series E-ISSN 1611-3349
Generator
发表于 2025-3-27 15:38:38
http://reply.papertrans.cn/59/5879/587898/587898_35.png
Complement
发表于 2025-3-27 18:15:56
https://doi.org/10.1007/3-540-16479-0Compiler; Constraint; Debugging; Parser; Prolog; algorithms; communication; heuristics; knowledge; knowledge
Banister
发表于 2025-3-27 22:18:38
http://reply.papertrans.cn/59/5879/587898/587898_37.png
ONYM
发表于 2025-3-28 03:15:31
http://reply.papertrans.cn/59/5879/587898/587898_38.png
无思维能力
发表于 2025-3-28 10:21:12
http://reply.papertrans.cn/59/5879/587898/587898_39.png
小母马
发表于 2025-3-28 12:20:37
Design and evaluation of a Prolog compiler,This paper discusses a Prolog compiler for the FACOM α, a symbolic data processing machine. The compiler includes several optimization algorithms, such as separated predicate frames, extended mode declaration, and fast goal invocation. Compiled programs run at 30 to 40 KLIPS.