Module logic 

Logic programming commands

This module provides logic operations:

• logic_infer - Run inference query
• logic_prove - Generate proof
• logic_kb_stats - Knowledge base statistics
• logic_kb_save - Save knowledge base
• logic_kb_load - Load knowledge base

Functions

logic_infer

Run inference query

logic_kb_load

Load knowledge base from file

logic_kb_save

Save knowledge base to file

logic_kb_stats

Show knowledge base statistics

logic_prove

Generate proof for a goal