|Did you know ...||Search Documentation:|
|Should I be using SWI-Prolog?|
There are a number of reasons why it might be better to choose a commercial, or another free, Prolog system:
On the other hand, SWI-Prolog offers some facilities that are widely appreciated by users:
Attributed variables provide Constraint Logic Programming and delayed execution based on instantiation (coroutining). Tabling or SGL resolution provides characteristics normally associated with bottom up evaluation: better termination, better predictable performance by avoiding recomputation and Well Founded Semantics for negation. Delimited continuations can be used to implement high level new control structures and Engines can be used to control multiple Prolog goals, achieving different control structures such as massive numbers of cooperating agents.
library(prolog_server)library provides telnet access and the pack
libsshprovides SSH login. With some restrictions regarding the compatibility of old and new code, code can be replaced while it is being executed in another thread. This allows for injecting debug/3 statements as well as fixing bugs without downtime.