Is there a way to destructure names like /foo/bar/baz ?

[tdunning]

My particular interest is representing and comparing file name like things. I would love to be able to express a partial ordering on names based on matching a prefix. A nice way to do that is explode the name into a list and then compare leading elements. That is, however, not very datalog-ish, but mangle might be extended enough for that to work; I can't quite tell.

[burakemir]

This exists. Sorry again about the lack of documentation. Try fn:name:list and fn:list:get

Here is an example interpreter session:

mg >foo(/a/b/c).
defined [foo(A0)].
mg >bar(X) :- foo(Z) |> let X = fn:name:list(Z).
defined [foo(A0) bar(A0)].
mg >baz(X) :- foo(Z) |> let Y = fn:name:list(Z), let X = fn:list:get(Y, 0).
defined [foo(A0) bar(A0) baz(A0)].
mg >?bar
bar([/a, /b, /c])
Found 1 entries for bar(X0).
mg >?baz
baz(/a)
Found 1 entries for baz(X0).

[tdunning]

This looks like 80% of a pull request for the docs.

Where should it go?

[burakemir]

User documentation is at https://mangle.readthedocs.io/en/latest/
The source is in the readthedocs directory.

Probably best to start a new page with built-in functions, at the end.

[tdunning]

Is there a convention for the implementation of the built-in functions like javadoc or doctest?

That would be a clean way to get a list.