This repository contains several implementations of tabling as a library in Prolog using
delimited continuations. The fastest implementation so far is cctable8.pl in the prolog
directory. That directory also includes tests and benchmarks.
-
Notifications
You must be signed in to change notification settings - Fork 1
Tabling in SWI Prolog using delimited continuations
License
samer--/cctable
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Tabling in SWI Prolog using delimited continuations
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published