Brief: A reimplementation of FLP
Jump To: Parent 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.