SWI-Prolog -- acyclic_term/1

Did you know ... Search Documentation:

SWI-Prolog owl logo Predicate acyclic_term/1

HOME
DOWNLOAD
DOCUMENTATION
- Manual
- Packages
- FAQ
- Command line
- PlDoc
- Bluffers▶
- License
- Publications
- Rev 7 Extensions
TUTORIALS
- Beginner▶
- Advanced▶
- Web applications▶
- Semantic web▶
  - ClioPatriaExternal
  - RDF namespaces
- Graphics▶
  - XPCE
  - GUI options
- Machine learning▶
  - Probabilistic Logic ProgrammingExternal
- External collections▶
  - Meta level tutorialsExternal
- For packagers▶
  - Linux packages
COMMUNITY
COMMERCIAL
WIKI
- Login
- View changes
- Sandbox
- Wiki help
- All tags

Documentation
- Reference manual
  - Built-in Predicates
    - Verify Type of a Term
      - var/1
      - nonvar/1
      - integer/1
      - float/1
      - rational/1
      - rational/3
      - number/1
      - atom/1
      - blob/2
      - string/1
      - atomic/1
      - compound/1
      - callable/1
      - ground/1
      - cyclic_term/1
      - acyclic_term/1
- Packages

Availability:built-in

[ISO]acyclic_term(@Term)

True if Term does not contain cycles, i.e. can be processed recursively in finite time. See also cyclic_term/1 and section 2.16.

Tags are associated to your profile if you are logged in|Report abuse

Tags:

doc-needs-help

LogicalCaptain said (2020年08月06日T23:35:42):0 upvotes 0 0 downvotes

Picture of user LogicalCaptain.

See the notes under cyclic_term/1

Note that acyclic_term/1 is ISO, but cyclic_term/1 is not.

login to add a new annotation post.