(java.util.regex.Pattern/quote "127.0.0.1") should work. Wrapped in re-pattern, of course.

in prolog, I would do :- use_module(library(clpb))

also, I'd love a spock slack channel, so that these lessons are not lost!

Also, just a way to send raw prolog would be enough for this issue!

Ok, created the channel #spock

About that, I believe you can run (spock/solve '(:- (use_module (library clbp))))

But I don't know, Spock is honestly on its very beginning, so if this don't work I'll look at it 🙂

Ok, sorry for the delay, the suggested snippet doesn't work, because:

No implementation of method: :to-prolog of protocol: #'spock.swi/AsProlog
   found for class: nil

which is somewhat surprising

Ah, I think I get why this fails: :- is interpreted as the head of the compound form by as-struct. That is not what should be happening. In a directive, like :- use_module(library(clpb)) there is no head. Let me see if I can create the right object for this.

Ok, found it, you can actually do (spock/solve '(use_module (library clpb)))

In fact, sifting through the documentation, I saw that JPL actually doesn't have the concept of directive. They just re-use the same machinery as they use for queries.