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_filter

Read CIDs from stdin and filter by logic predicate.

logic_filter_cids

Filter an explicit list of CIDs through the logic engine.

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

logic_query

Logic Datalog-style query: ipfrs logic query "ancestor(X, bob)"

logic_query_streaming

Logic Datalog-style query with streaming output and indicatif spinner.