Go on. Explore!

lvl 0 • 0 xp

lvl 1

Home Market Decks Interests

Programming Languages

memorize.ai (lvl 286)

(0)

36 cards

()

Section 1

Preview this deck

unifcation

Front

1 / 36

Go R Programming Language

0.0

0 reviews

5			0
4			0
3			0
2			0
1			0

Active users

All-time users

Favorites

Last updated

6 years ago

Date created

Mar 1, 2020

Cards (36)

Section 1

(36 cards)

unifcation

Front

the process by which prolog determins matches a goal with a fact

Back

Resolution

Front

the overall process by which prolog approaches determining the outcome of a goal where a rule is involved

Back

real-time languages

Front

activate procedures in response to external signals as required.

Back

Propositional Logic

Front

a branch of formal, deductive logic in which the basic unit of thought is the proposition

Back

[Head|Tail]

Front

Head is the first item in the list and tail is the reming list

Back

procedural language

Front

a program is a sequence of imperative statements (Java)

Back

Backtracking

Front

refers to the process by which prolog attempts to resolve a goal or subgoal when a failire to resove agaist a rule fails

Back

scientific language

Front

designed to manipulate numeric data

Back

predicate calculus

Front

A particular form of symbolic logic used for logic programming.

Back

Declaritive Language

Front

programs specify a set of pre-conditions and express desired post-condition (Prolog)

Back

Turing and Godel

Front

proved limits on R and D

Back

Rules (Conditional statements)

Front

used to express relationships among other elements in prolog program (mother(james, mary):- child(mary, james).)

Back

binding

Front

if an atomic value appears as a PARM in a goal and the goal is being compared to a fact, the the atomic value must match at that same pos

Back

universal quantifier

Front

∀ "for all"

Back

artificial intelligence languages

Front

facilitate symbolic computations, the manipulation of list

Back

structure

Front

the compound terms must match in name and number of Param

Back

functional language

Front

a program is a succession of function calls, possibly recursive

Back

List

Front

structures that store elements [C,L,P]

Back

What is a programming language?

Front

a notion which people use to communicate algorithms to others. (Typically computers)

Back

Bertrand Russell and David Hilbert

Front

all mathematics can be expresses in a formal system of reasoning

Back

object-oriented languages

Front

encapsulates data with procedures that can access the data

Back

Business or Commercial languages

Front

designed manipulating files and production reports

Back

Why study programming language concepts?

Front

To improve your use of your currently known programming languages, To improve your vocabulary of useful programming languages , To make it easier to learn anew language, To allow a better choice of programming languages.

Back

web-oriented languages

Front

controls presentation of a webpage

Back

logical connectives

Front

and, or, not, if-then

Back

How do conditions read in Prolog

Front

A :- B (A<- B)

Back

Facts

Front

compound terms that are terminated with a peroid (female(mary).)

Back

existential quantifier

Front

∃ "there exists"

Back

renaming

Front

when subgoal variable aligns with a variable in rule, prolog will create its own new VAr name for it. _12

Back

Variables

Front

Distinguished via Uppercase letters, represent unspecified values

Back

Parameters

Front

my be a constant number, atoms(Symbolic values), variables, or lists

Back

What is an algorithm?

Front

a (finite) sequence of operations to achieve a precisely defined goal

Back

Goal/queries

Front

propositions that we want the system to verify with facts and conditions specified in our program

Back

atoms

Front

have the same structure as names, but do not have to start with lower case if they are surrounded by quotes

Back

functor

Front

a name, comprised of lower case letters, digits or underscore, but MUST start with lower case

Back

Does false mean false?

Front

No, it means cannot answer based on given information

Back