func

func copied to clipboard

Reverse application operator

1

OCaml includes the reverse function operator (`|>`) which I've often found more readable than function composition + application. Have you consider adding such operator to func?

esad

functions inside forall, foreach, findall, bagof, etc.

1

Expanding a function inside the goal argument of these predicates should keep the entire expansion inside the predicate. Currently it moves the expansion outside the predicate.

mndrix

Add tests for tilde expansion in meta_predicate scope

2

edechter

This issue collects all problems encountered when running on SWI-Prolog version 6. Unless V7 becomes the stable branch pretty soon, it would be good to fix this: - [ ]...

mndrix

Compile limited lambda syntax into predicates

1

Teach library(func) how to compile a predicate defined using lambda syntax and assigned to a variable. Like, ``` prolog F = \X^Y^foo(stuff,Y,X), ... % becomes F = func:'5ecbc7c6883139e60b5db16550e8b5fc5da0244a', ... func:'5ecbc7c6883139e60b5db16550e8b5fc5da0244a'(X,Y)...

mndrix

notation to mark function inputs?

4

Should there be syntax for describing the input to a function? Perhaps `^`: ``` prolog ?- Q = queue_cons(^,item) $ queue_new. Q = [item]. ``` This suggests that `length $...

mndrix

Ciao (with `:=`) and GRIPS (with `

mndrix

[GRIPS](http://www.j-paine.org/grips.html) is another functional sugar for Prolog. Implement ideas from it, if they seem worthwhile: - [ ] `

mndrix

support records as functions

1

`library(record)` supports terms with named arguments. Allow one to use a record as a function mapping an argument name to its value. Like this ``` prolog write(Person$name). ``` Which expands...

mndrix