Lecture-03-Prolog-Determinist and nondeterminist predicates.pdf

🖋 Notes

Determinist and non-determinist predicates

Types of predicates

• determinist
  • has only one solution
• non-determinist
  • has several solutions

remark a predicate can be determinist in one flow model, and non-determinist in other flow models

Predefined predicates

var (X)

• true if X is free, false if bound

number (X)

• true if X is bound to a number

integer (X)

• true if X is bound to an integer

float (X)

• true ifX is bound to a real number

atom (X)

• true if X is bound to an atom

atomic (X)