| Predicates | j | js | py |
|---|---|---|---|
| bagof/3 | 24 | 24 | 24 |
| setof/3 | 33 | 33 | 33 |
| aggregate_all/3 | 7 | 7 | 7 |
| aggregate/3 | 14 | 14 | 14 |
| Total | 78 | 78 | 78 |
| Predicates | j | js | py |
|---|---|---|---|
| subsumes/2 | 6 | 6 | 6 |
| subsumes_term/2 | 6 | 6 | 6 |
| unify_with_occurs_check/2 | 12 | 12 | 12 |
| occurs_check/2 | 2 | 2 | 2 |
| acyclic_term/1 | 6 | 6 | 6 |
| acyclic_factorized/2 | 7 | 7 | 7 |
| Total | 39 | 39 | 39 |
| Predicates | j | js | py |
|---|---|---|---|
| dict_enum/2 | 3 | 3 | 3 |
| dict_pairs/2 | 4 | 4 | 4 |
| dict_size/2 | 3 | 3 | 3 |
| dict_current/3 | 5 | 5 | 5 |
| dict_set/4 | 4 | 4 | 4 |
| dict_add/4 | 4 | 4 | 4 |
| dict_remove/3 | 4 | 4 | 4 |
| dict_set/3 | 3 | 3 | 3 |
| dict_add/3 | 3 | 3 | 3 |
| dict_remove/2 | 3 | 3 | 3 |
| Total | 36 | 36 | 36 |
| Predicates | j | js | py |
|---|---|---|---|
| numbervars/3 | 5 | 5 | 5 |
| unnumbervars/3 | 6 | 6 | 6 |
| maxvars/2 | 5 | 5 | 5 |
| call/3 | 5 | 5 | 5 |
| free_variables/3 | 4 | 4 | 4 |
| Total | 25 | 25 | 25 |
| Predicates | j | js | py |
|---|---|---|---|
| delete_file/1 | 2 | 2 | 2 |
| Total | 2 | 2 | 2 |
| Predicates | j | js | py |
|---|---|---|---|
| write_json/1 | 5 | 5 | 5 |
| read_json/1 | 5 | 5 | 5 |
| json_atom/2 | 6 | 6 | 6 |
| Total | 16 | 16 | 16 |
amd64, Windows 11
| j | Dogelog Player 2.1.6, Oracle Corporation, Java 25 |
| js | Dogelog Player 2.1.6, Node, JavaScript 25.6.0 |
| py | Dogelog Player 2.1.6, PyPy, Python 3.11.13 |