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