[Home]  [Edit this page]  [Recent Changes]  [Special Pages]  [Help] 

---

PrologNondeterm

---

(Prolog) nondeterm

Shorthand for non-deterministic, a predicate mode.

A non-deterministic clause can only produce more solutions. A clause that can produce only one solution is called a determininistic clause, which is indicated by the keyword determ. By default, all global predicates are determ.

Example of nondeterm clause

predicates
  nondeterm likes(symbol, symbol).
    
  likes(ellen, tennis).
  likes(ellen, soccer).
goal
  likes(ellen,Y).

Note that if you make the predicate determ, the compiler will give the error 'Nondeterministic clause: likes'.
[Edit this page]  [Page history]  [What links here]  [Discuss this topic]  [Printer Friendly]