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

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.