redis

Prolog files

redis.pl  -- Redis clientShow source
redis/1Connect to the default redis server, call redist/3 using Request, disconnect and print the result.Source
redis/2This predicate is overloaded to handle two types of requests.Source
redis/3Execute a redis Command on Connnection.Source
redis_array_dict/3Translate a Redis reply representing hash data into a SWI-Prolog dict.Source
redis_connect/1Connect to a redis server.Source
redis_connect/3Connect to a redis server.Source
redis_current_command/2True when Command has Properties.Source
redis_current_command/3True when Command has Properties.Source
redis_current_subscription/2True when a PUB/SUB subscription with Id is listening on Channels.Source
redis_disconnect/1Disconnect from a redis server.Source
redis_disconnect/2Disconnect from a redis server.Source
redis_get_hash/3Put/get a Redis hash as a Prolog dict.Source
redis_get_list/3Get the content of a Redis list in List.Source
redis_get_list/4Get the content of a Redis list in List.Source
redis_hscan/4Map the Redis SCAN, SSCAN, HSCAN and ZSCAN` commands into a lazy list.Source
redis_property/2True if Property is a property of the Redis server.Source
redis_read/2Write command and read replies from a Redis server.Source
redis_scan/3Map the Redis SCAN, SSCAN, HSCAN and ZSCAN` commands into a lazy list.Source
redis_server/3Register a redis server without connecting to it.Source
redis_set_hash/3Put/get a Redis hash as a Prolog dict.Source
redis_set_list/3Associate a Redis key with a list.Source
redis_sscan/4Map the Redis SCAN, SSCAN, HSCAN and ZSCAN` commands into a lazy list.Source
redis_subscribe/2Add/remove channels from for the subscription.Source
redis_subscribe/4Subscribe to one or more Redis PUB/SUB channels.Source
redis_unsubscribe/2Add/remove channels from for the subscription.Source
redis_write/2Write command and read replies from a Redis server.Source
redis_zscan/4Map the Redis SCAN, SSCAN, HSCAN and ZSCAN` commands into a lazy list.Source
tls_verify/5Accept or reject the certificate verification.Source
redis_streams.pl  -- Using Redis streamsShow source
xadd/4Add a message to a the stream Key on Redis.Source
xconsumer_stop/1May be called from a consumer listener to stop the consumer.Source
xhook/2This multifile predicate is called on certain stream events.Source
xlisten/3Listen using XREAD on one or more Streams on the server Redis.Source
xlisten_group/5Listen as Consumer to Group.Source
xstream_set/3Set an option on for Key on Redis.Source