Week_15_Vid_1

Recursion

A programming technique where a function calls itself to solve a problem.

Base Case

The condition under which a recursive function stops calling itself.

Recursive Case

The part of a recursive function where the function calls itself with a modified argument.

Distinct

In Prolog, it is used to remove duplicate records from the results of a query.

Arithmetic Operators

Symbols that specify the operations to be performed in mathematical expressions, such as '+', '-', '*', and '/'.

Is Operator

In Prolog, it is used to evaluate an expression and assign the result to a variable.

Factorial

A mathematical function that multiplies a number by every number below it, down to 1, denoted as n!.

Trace

A debugging tool in Prolog that allows you to see the flow of execution of a program step by step.

Predicate

A statement in Prolog that can either be true or false, serving as the basis for querying.

List

A data structure in Prolog that holds an ordered collection of items.

Modulus

An arithmetic operation that returns the remainder of the division of one number by another.

Integer Divide

An operation that divides one integer by another and returns the integer portion of the result.

Binding

The process of linking a variable to a specific value during execution.

Call Tree

A graphical representation of the function calls made during the execution of a program, showing relationships and hierarchy.

Taller Predicate

A Prolog rule to determine the taller relationship between two individuals based on defined facts.

Transport Facts

Statements in Prolog that describe facts about transportation routes, e.g., from one location to another.

Underscore Variable

A variable in Prolog that is not assigned a value, often used to signify that the value is not important.

Connected Predicate

A rule in Prolog that checks if two points are connected through a series of relationships.

Even Digit Check

A Prolog rule that verifies if all digits in a number are even.

Counting Fives

A Prolog rule for counting occurrences of the digit '5' in a number.