LYCOS RETRIEVER 
Prolog: Implementations
built 657 days ago
Over thirty sessions in six tracks, with options ranging from in depth analysis of Prolog features through case studies through implementation strategies. No matter where you are in your Prolog usage life cycle, the conference will deliver fresh information that is useful to you.
Source:
Prolog flags: a Prolog flag is an atom which is associated with a value that is either implementation defined or defined by the user. Each flag has a permitted range of values; any other value is a
Source:
Prolog maintains a stack of unifications as it tries to satisfy clauses recursively. This stack is separate from the regular Lisp execution stack. The initial stack length is determined by the implementation, but the stack will double in length when the current length is exceeded. This Lisp condition is signalled with
Source:
MORE ABOUT
Implementations