FRDCSA | git codebases | guile-log

[Project image]

Jump to: Project Description

Project Description

__GUILE_LOG__ What it is: Guile log is a logic programming framework that has strong continuation support meaning that stalling of algorithm is well supported. It also sports most of the logic programming features you see in common prolog softwares like swi-prolog and guile-log comes with a prolog engine as well as a minikanren engine as well as an internal scheme interface to logic programming which is the guile-log interface.

This page is part of the FWeb package.
Last updated Sat Oct 26 17:00:20 EDT 2019 .