eignnx / eignnx/rellog

Add prolog's `bagof` builtin

Open
#5 1 comment 0 reactions 0 assignees View on GitHub
builtin enhancement
Dominant language
Rust
Stars
0
Forks
0
PR merge metrics
No merged PRs in 30d

Description

Something like this?

```
[goal [myrel Xs]][solns [bag Bag]]

[goal [myrel Xs]][solns [bag Bag]]
```

Todo: research prolog's bagof's "template" system:

`bagof(+Template, :Goal, -Bag)`

[https://www.swi-prolog.org/pldoc/man?section=allsolutions](https://www.swi-prolog.org/pldoc/man?section=allsolutions)

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.