• Places
    • Home
    • Graphs
    • Prefixes
  • Admin
    • Users
    • Settings
    • Plugins
    • Statistics
  • CPACK
    • Home
    • List packs
    • Submit pack
  • Repository
    • Load local file
    • Load from HTTP
    • Load from library
    • Remove triples
    • Clear repository
  • Query
    • YASGUI SPARQL Editor
    • Simple Form
    • SWISH Prolog shell
  • Help
    • Documentation
    • Tutorial
    • Roadmap
    • HTTP Services
  • Login

A.43 library(prolog_versions): Demand specific (Prolog) versions
All Application Manual Name SummaryHelp

  • Documentation
    • Reference manual
      • The SWI-Prolog library
        • library(prolog_versions): Demand specific (Prolog) versions
          • require_prolog_version/2
          • require_version/3
          • cmp_versions/3
    • Packages
Availability::- use_module(library(prolog_versions)).(can be autoloaded)
Source[semidet]cmp_versions(?Cmp, +V1, +V2)
Compare to versions. Cmp is one of <, =<, =, >= or >. If Cmp is unbound we check whether < or > hold or else bind Cmp to =.

When comparing for equality (=), the versions are considered equal if they compare equal up to the detail level of the least specified. E.g,’9.1.2’is considered equal to’9.1’.

ClioPatria (version V3.1.1-51-ga0b30a5)