Implemented wildcards in unifications and disequality constraints #17

Damtev · 2023-06-30T08:48:39Z

TODO

klogic-core/src/main/kotlin/org/klogic/core/Context.kt

klogic-core/src/main/kotlin/org/klogic/core/Term.kt

klogic-core/src/test/kotlin/org/klogic/core/wildcards/WildcardsTest.kt

Kakadu · 2023-09-27T07:41:07Z

It would be great to add canonical examples, for example, "a peano number is less than 4"
And "a list is not Cons && conde with domain"

klogic-core/src/test/kotlin/org/klogic/core/wildcards/WildcardsTest.kt

Damtev requested a review from Kakadu June 30, 2023 08:48

Kakadu reviewed Jul 3, 2023

View reviewed changes

Kakadu approved these changes Sep 28, 2023

View reviewed changes

Kakadu reviewed Sep 28, 2023

View reviewed changes

klogic-core/src/test/kotlin/org/klogic/core/wildcards/WildcardsTest.kt Outdated Show resolved Hide resolved

Damtev added 7 commits September 29, 2023 14:02

WIP failing tests with wildcards

48c6a91

Fixed test

551885d

Added displayed names for tests

21688bd

Added docs

7903ae4

Fixed review issues

039c336

Added few more examples

dc98f57

Updated docs, renamed creating of wildcard

0932777

Damtev force-pushed the damtev/wildcards branch from d048635 to 0932777 Compare September 29, 2023 11:02

Damtev enabled auto-merge (squash) September 29, 2023 11:02

Damtev merged commit e17613a into main Sep 29, 2023
1 check passed

Provide feedback