/usr/local/lib/swipl/library/ext/redis/redis.pl
All Application Manual Name SummaryHelp

  • ext
    • redis
      • redis.pl -- Redis client
        • redis_server/3
        • redis_connect/1
        • redis_connect/3
        • tls_verify/5
        • sentinel_slave/4
        • redis_disconnect/1
        • redis_disconnect/2
        • redis/2
        • redis/3
        • redis/1
        • redis_write/2
        • redis_read/2
        • redis_get_list/3
        • redis_get_list/4
        • redis_set_list/3
        • redis_get_hash/3
        • redis_set_hash/3
        • redis_array_dict/3
        • redis_scan/3
        • redis_sscan/4
        • redis_hscan/4
        • redis_zscan/4
        • redis_current_command/2
        • redis_current_command/3
        • redis_property/2
        • redis_subscribe/4
        • redis_subscribe/2
        • redis_unsubscribe/2
        • redis_current_subscription/2
      • redis_streams.pl -- Using Redis streams
 redis_property(+Redis, ?Property) is nondet
True if Property is a property of the Redis server. Currently uses redis(info, String) and parses the result. As this is for machine usage, properties names *_human are skipped.