Resource Type:
Project
License:
GNU Library or Lesser General Public License version 2.0 (LGPLv2)
Language:
Data Format:
Description
Logic programming and deductive database system (Tabled Prolog) for Unix and Windows.
Categorized in: Representation and Reasoning | Logic & Formal Reasoning
Post comment
Cancel