Documentation for the Guile-Log Logic Programming Environment for Guile 2.0 v0.4
• umatch: | low level infrastructure. | |
• guile-log: | This is the guile-log basic macro environment | |
• acumulators/generators: | Hot to collect and generate sequences of solutions. | |
• postpone: | To postpone a search. | |
• dynamics: | catch prompt abort | |
• dynamic-functions: | Dynamicaly add, remove and execute clauses | |
• rational data: | Being able to use self referentional datastructures | |
• memoizing: | Memoizing and tablating and recursiviness | |
• attributes: | meta programming and customized unification | |
• parsing: | A parsing framework. | |
• sed/grep: | Sed and grep functionalities for scheme | |
• setomat: | Functional Set and Maps Framework | |
• inheritance: | Inheritance matching and types | |
• kanren: | Kanren implemented ontop of guile-log | |
• minikanren: | An implementation of minikanren | |
• prolog: | iso-prolog | |
• garbage-collect: | How to enable full garbage colection of logical variables | |
• persistance: | How to persist logic state and logic datastructures | |
• Index: | Complete index. |