Sciweavers

367 search results - page 23 / 74
» Prolog
Sort
View
82
Voted
CADE
1990
Springer
15 years 6 months ago
A Prolog Technology Theorem Prover
Mark E. Stickel
15
Voted
KI
1989
Springer
15 years 6 months ago
Prolog
Hans-Jürgen Eikmeyer
ISCA
1990
IEEE
72views Hardware» more  ISCA 1990»
15 years 6 months ago
Fast Prolog with an Extended General Purpose Architecture
Bruce K. Holmer, Barton Sano, Michael J. Carlton, ...
78
Voted
PLILP
1991
Springer
15 years 5 months ago
Semantics-Directed Generation of a Prolog Compiler
Charles Consel, Siau-Cheng Khoo