FRDCSA | minor codebases | FLP2

[Project image]

Jump to: Project Description | Parent Description

Project Description

The main need for reimplementing comes from applying what we learned with the first FLP. Morever, the need for a proper microtheory system bogged down the first FLP project. Starting flp2, we will attempt Microtheory systems until we find one that works well. Problems arise from the nuances of the SWI-Prolog module system.

This page is part of the FWeb package.
Last updated Sat Oct 26 16:37:31 EDT 2019 .