BAP Online Manuals : Library Reference : Library by Name : true
Previous: trace
Next: unbound

---

6.2.134. true

predicate always suceeds

SYNOPSIS

true

SYNTAX

true

ARGUMENTS

(none)

DESCRIPTION

This is a standard prolog built-in. True always succeeds once.

EXAMPLE

( readln(_) ; true )

ERRORS

No runtime errors.

LAYERS

prolog-process, client-server, object

RELATED PREDICATES

fail

---

BAP Online Manuals : Library Reference : Library by Name : true
Previous: trace
Next: unbound