Turing testWikipediainvented by Alan Turing, it determins if a computer is smarter than a human.
Dendral - Expert systemWikipedia
DENDRAL, an early expert system, developed beginning in 1965 by the artificial intelligence (AI) researcher Edward Feigenbaum and the geneticist Joshua Lederberg, both of Stanford University in California. Heuristic DENDRAL (later shortened to DENDRAL) was a chemical-analysis expert system. The substance to be analyzed might, for example, be a complicated compound of carbon, hydrogen, and nitrogen.
Liza and ParryWikipedia
ELIZA is a computer program and an early example of primitive natural language processing. ELIZA operated by processing users' responses to scripts, the most famous of which was DOCTOR, a simulation of a Rogerian psychotherapist. Using almost no information about human thought or emotion, DOCTOR sometimes provided a startlingly human-like interaction. ELIZA was written at MIT by Joseph Weizenbaum between 1964 and 1966
By definition, first-order logic does not allow quantification over predicates. A higher-order predicate is a predicate that takes one or more other predicates as arguments. Prolog already has some built-in higher-order predicates such as call/1, call/2, call/3, findall/3, setof/3, and bagof/3. Furthermore, since arbitrary Prolog goals can b
Alice[wiki](<a href='http://en.wikipedia.org/wiki/Alice_(software))' >Wikipedia</a>
Alice is an innovative programming environment to support the creation of 3D animations, the Alice Project provides tools and materials for teaching and learning computational thinking, problem solving, and computer programming across a spectrum of ages and grade levels.