object
redis
¶
Redis client. Inspired by Sean Charles GNU Prolog Redis client.
Author: Paulo Moura
Version: 0.3
Date: 2017/6/29
Compilation flags:
static, context_switching_calls
Provides:
Public interface¶
connect/1
¶
Connect to a Redis server running on localhost using the default 6379 port.
Compilation flags:
static
Template:
connect(Connection)
Mode and number of proofs:
connect(--ground)
- one
connect/3
¶
Connect to a Redis server running on the given host and port.
Compilation flags:
static
Template:
connect(Host,Port,Connection)
Mode and number of proofs:
connect(+atom,+integer,--ground)
- one
disconnect/1
¶
Disconnect from a Redis server.
Compilation flags:
static
Template:
disconnect(Connection)
Mode and number of proofs:
disconnect(++ground)
- one
send/3
¶
Sends a request to the a Redis server and returns its reply
Compilation flags:
static
Template:
send(Connection,Request,Reply)
Mode and number of proofs:
send(++ground,++callable,--callable)
- one
console/1
¶
Sends a request to a Redis server running on localhost at the default 6379 port and prints the reply.
Compilation flags:
static
Template:
console(Request)
Mode and number of proofs:
console(++callable)
- one
Protected interface¶
(see related entities)
Private predicates¶
(see related entities)
Operators¶
(none)
Remarks¶
- Command representation: Use the Redis command name as the functor of a compound term where the arguments are the command arguments.
- Valid arguments: Atoms, integers, and floats. Always use atoms instead of double-quoted “strings”. This helps portability by not depending on the value of the double_quotes flag.