Sequential technology for Prolog has reached a quite mature stage, actual systems
are commercially used and offer performances comparable to those of the state-of-the-art
systems for other declarative programming paradigms. Nevertheless, the aim of achieving
performance figures at the level of imperative programming technology (e.g. C) has not
been completely achieved yet
.
Various directions are currently pursued in trying to improve the execution performance of sequential
systems.