SIFT's LEGEND system provides a means to employ Large Language Models and Inductive Logic Programming to develop logical models based on the Ergo system and RuleLog.
Available here are:
- The LEGEND user manual
- The CHANGELOG for the currently deployed version
- Ergo files for the soccer warmup problem
- Ergo files for the joint operation problem