Titlebook: Logic Programming ‘85; Proceedings of the 4 Eiiti Wada Conference proceedings 1986 Springer-Verlag Berlin Heidelberg 1986 Compiler.Constrai

Congruous

發(fā)起

爆炸

978-3-540-16479-1Springer-Verlag Berlin Heidelberg 1986

細(xì)節(jié)

Logic Programming ‘85978-3-540-39820-2Series ISSN 0302-9743 Series E-ISSN 1611-3349

Generator

Complement

https://doi.org/10.1007/3-540-16479-0Compiler; Constraint; Debugging; Parser; Prolog; algorithms; communication; heuristics; knowledge; knowledge

Banister

ONYM

無思維能力

小母馬

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.