In order to use this repository:
$ swipl -s trace_exps_common.pl [iterators|printwriter|turnstile|test|calculator].pl
?- test(testN, Length, Traces). Substitute Length and N with numbers.
-
Notifications
You must be signed in to change notification settings - Fork 0
A-725-K/TraceExpressions_Annotation
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Simple implementation of trace-expressions with annotation extension
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published