Next: garbage-collect, Previous: minikanren, Up: Top [Index]
Guile log also sports an iso-prolog interface as a logic programming interface besides kanren. The interface is pretty complete at this point appart a few points that have not yet been resolved but sure it is currently alpha software and help is very very much appriciated. With this most programs written in iso prolog should probably work. The intention is to enhance this interface so that the bulk of already written prolog programs should be able to run on guile. We will also add the fetures unique to guile-log and hence enhance the prolog experience. Featurewise guile-log prolog is taking over many properties of scheme like closures, continuations, delimeted continuations, the interleaving constructs of kanren and a delicate system to treat dynamic objects like dynamic functions, dynamic hashes and a library to tell how you want the dynamism to work at a fine grained level.
• running: | How to hook in prolog code | |
• interpreter: | A interactive shell for prolog | |
• deviations: | What is different and not according to standard and why. | |
• modules: | How to handle name spacing | |
• scheme: | Hooking in scheme expressions | |
• functors: | map funcitons to functions | |
• sets: | set operations | |
• closures: | Using closures in prolog | |
• continuations: | Advanced management af what to continue with | |
• extended matching: | Matching extensions deviating from normal prolog | |
• prolog-dynamic-functions: | A discussion of guile log’s version of this | |
• dynamic-features: | Special construct to manage dynamic objects | |
• prolog-libraries: | Libraries that exposes guile-log features | |
• prolog-microkanren: | Python ideoms from microkanren | |
• prolog-tabling: | Prolog tabling | |
• prolog-dynwind: | Prolog dynwind construct | |
• types-and-classes: | Types and classes | |
• fibers: | Wingo’s fibers wrapper aka green threads | |
• engines: | Prolog engines | |
• return-values: | Return values extension | |
• fast-iterate: | SPecial case iterate construct | |
• debugging: | How to debug prolog programs |
Next: garbage-collect, Previous: minikanren, Up: Top [Index]