Logic over Expression
Mathematical expression handling on top of the Prolog language.
Very experimental.
Target environment is swi-prolog.
?- use_package(engine).
?- use_package(axiom, []).
?- equiv(x+x, 2*x).
true.-
Notifications
You must be signed in to change notification settings - Fork 0
Logic over Expression
License
as-capabl/logexp
About
Logic over Expression
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published