Function test_kb

pub fn test_kb() -> KnowledgeBase

Creates a knowledge base with a few facts and rules for testing.

father(Alfred, Edward).
father(Edward, Aethelstan).
grandfather($X, $Y) :- father($X, $Z), father($Z, $Y).
grandfather($X, $Y) :- father($X, $Z), mother($Z, $Y).
loves(Penny, Leonard).
loves(Leonard, Penny).

Usage

use suiron::*;

let kb = test_kb();