from The American Heritage® Dictionary of the English Language, 4th Edition
- n. A programming language used for writing programs that model human logic and decision making.
from Wiktionary, Creative Commons Attribution/Share-Alike License
- proper n. A programming language developed in the 1970s for artificial intelligence and logic programming.
from the GNU version of the Collaborative International Dictionary of English
Correct me if I am wrong, and I know you will, but there was a programming language in 1972 called Prolog that could take carefully curated declarative statements and allow you to run logical queries over them.
The opera, the first part or "Prolog" to Wagner's RING, was a huge success vocally and orchestrally.
The natural language query style with DCG from Colmerauer who was in Grenoble (Chamonix) mountaineering with me and paying his Marseille Prolog II - "Standleitung" [German language] with Quebec.
Through his CIA-funded organization, Prolog, he gathered intelligence on the Soviets into at least the late 1960s.
FORMAT/INFO: “Spellwright” is 352 pages long divided over forty-six numbered chapters, a Prolog, an Epilog, and a World Map.
The natural language query style with DCG from Colmerauer who was in GrenobleChamonix mountaineering with me and paying his Marseille Prolog II-"Standleitung "German language with Quebec.
Those familiar with Prolog programming language, RDF, or formal logic will recognise this approach.
I was far more interested in languages like LISP, Prolog, Concurrent Clean and Occam.
I felt that Prolog was great for certain kinds of tasks searching things in complex ways, for example, but was painful for most everyday programming, so I moved towards having a Prolog-like interface to the distributed file system and in-memory "temporary work areas" rather than basing the language around it.
There are features, most notably Prolog-style pattern-matching, that seem to promise great savings in length, but turn out only to be useful for writing a few basic sequence operations like append, remove, and so on.
Wordnik is becoming a not-for-profit! Read our announcement here.