Commit graph

3 commits

Author SHA1 Message Date
6eca9dfcb7
Checkpoint 2025-04-06 12:14:18 +02:00
da21d890fb Checkpoint 2025-04-05 17:36:37 +02:00
39c3af4ba5
feat(prolog): Atom unification 2025-03-29 16:04:40 +01:00