^^ This works, I've tested my new implementation fairly thoroughly and it doesn't seem to break any previous Brachylog program

but now it's possible to use global variables too

e.g. :

?- run_from_atom('tTEST⁹⁹∧{TEST⁹⁹∋}ᶠ',[123,"mdr"],Z).
Z = ["m", "d", "r"] .

(in this example it's useless obviously but that's just illustration)

I will commit everything tonight

This will be the biggest Brachylog update in quite some time actually

@ASCII-only I see you ^w^

yeah don't mind me i'm just lurking

i'm too lazy to learn Brachylog so that's probably all i'll ever do, lol

@ASCII-only But... but... it's so easy :(

it is? hmmm

what's an easy challenge without a Brachylog answer then :P

To be honest I'm not sure. I think it's easy to use when you understand the declarative programming mindset, but before that it might be tricky

declarative?

@ASCII-only Not sure I'm gonna find one that is both easy and unanswered

yeah, especially with Unrelated String posting so often lately :P

@ASCII-only In Brachylog, generally you "declare" what you expect as the result of your program

In "standard" imperative programming languages like Python/C, you state the operations that your program needs to do

hmm. well i've used prolog a bit before

but i tend to use it in a more imperative fashion :|

@ASCII-only Heretic!

REEEEE

I did the same before I finally "understood" Prolog

I think the best example to get it is to implement a concatenation predicate in Prolog

that concatenates 2 lists into a third list

That's when I understood the point of it

like this? :P

minus the gofling, yes :p

oi i can't help the golfing

too many bad habits

can't stop now

but... hmm, i still think for more complicated programs at least it still looks kinda imperative

Look at that behaviour

; = if/else, and i use recursion and pattern matching, kinda like Haskell

You developped 2 lines of code and you have loads of different possibilities already

think about how much more code you would need to do all that in e.g. Python

haha yeah

in Python 29 bytes would barely be enough for a function declaration

oh hey it works

wat

what kind of challenge is that

142

oh yeah, i normally don't use the more complicated predicates like findall. i'm sure there's a really obvious, short solution i've missed :| (i can tell that findall will probably help if i have a predicate that matches only valid numbers, but that... doesn't seem easy)

also :| how to get clp/fd to work on TIO

Behold!

(I need to update the wiki now)

:O