prolog

Prolog is a logic programming general purpose fifth generation language associated with artificial intelligence and computational linguistics. It has a purely logical subset, called "pure Prolog", as well as a number of extralogical features.

Prolog has its roots in formal logic, and unlike many other programming languages, Prolog is declarative: The program logic is expressed in terms of relations, and execution is triggered by running queries over these relations. Relations and queries are constructed using Prolog's single data type, the term. Relations are defined by clauses. Given a query, the Prolog engine attempts to find a resolution refutation of the negated query. If the negated query can be refuted, i.e., an instantiation for all free variables is found that makes the union of clauses and the singleton set consisting of the negated query false, it follows that the original query, with the found instantiation applied, is a logical consequence of the program. This makes Prolog (and other logic programming languages) particularly useful for database, symbolic mathematics, and language parsing applications. Because Prolog allows impure predicates, checking the truth value of certain special predicates may have some deliberate side effect, such as printing a value to the screen. This permits the programmer to use some amount of conventional imperative programming when the logical paradigm is inconvenient.

artificial intelligence

Artificial Intelligence (AI) is the intelligence of machines and the branch of computer science which aims to create it. Textbooks define the field as "the study and design of intelligent agents," where an intelligent agent is a system that perceives its environment and takes actions which maximize its chances of success. John McCarthy, who coined the term in 1956, defines it as "the science and engineering of making intelligent machines."

autocad

Welcome to the world of CAD - In this tutorial you will be learning the basics of CAD. The course is designed so that the commands and instructions should work on almost any version of AutoCAD, although this version is designed specifically for AutoCAD 2010. By the end of this level you will have the skills to develop basic 2D drawings and print them out to scale.

Let's start at the beginning, these things you need to know, or the rest of it won't make any sense at all. Make sure you have a very good understanding of this lesson before continuing. This lesson is longer than most, but will cover important topics. Learn it, live it.