LYCOS RETRIEVER 
Prolog
built 655 days ago
Prolog Ventures is a venture capital firm specializing in life science investing. Since its launch in 2001, Prolog has financed more than 20 companies, most of them early-stage. The firm is managed by a team of professionals with extensive experience as both investors and entrepreneurs. Prolog invests in traditional healthcare fields as well as emerging areas, such as wellness, plant science, and bioenergy. For more information, visit http://www.prologventures.com.
Source:
Singulex' existing investors, Fisk Venture and Prolog Ventures were part of the latest financing round totaling $8 million, which was led by a new undisclosed investor. The company ... closed a one million dollar financing round from GE Capital and a one and a half million dollar debt financing from Bridge Bank, bringing the total amount raised to $10.5 million.
Source:
To convert solutions from temporal representation (answer substitutions on backtracking) to spatial representation (terms), Prolog has various all-solutions predicates that collect all answer substitutions of a given query in a list. This can be used for list comprehension. For example, perfect numbers equal the sum of their proper divisors:
Source:
PI is a interface between Prolog applications and XWindows that aims to be independent from the Prolog engine, provided that it has a Quintus foreign function interface (such as SICStus, YAP). It is mostly written in Prolog and is divided in two libraries: Edipo - the lower level interface to the Xlib functions; and Ytoolkit - the higher level user interface toolkit
Source:
Kernel Prolog's parser and tokenizer are very small and based on Java's own built-in parsing/tokenizing libraries (StreamTokenizer). This allows relying on code already in browsers instead of having to load classes over the network. In the future, as Kernel Prolog is heading towards plain Natural Language input through speech recognition software, it's internal syntax (which might already look too restrictive to Prolog programmers) will be generated through a preprocessor supporting user defined distfix operators. As such, kernel Prolog is expected to be able to emulate full Prolog syntax and more. However, Kernel Prolog's current syntax is restricted to standard prefix Prolog terms of the form f(T1,..Tn), with the infix operators ':-' and ',' accepted only at top level:
Source:
The ISO standard for Prolog apparently does not require tail-call elimination. However, most implementations provide it to some degree. It is certainly a valuable feature. Allegro Prolog functors usually do not perform tail-call elimination. The Prolog compiler tries to stack cons Prolog variables, data structure, and continuations. Stack allocation of these data enhances performance, but stack-consed data generally prohibits tail-call elimination.
Source:
MORE ABOUT
Prolog