ByNobleID
    Features of logical inference in PROLOG-programs | NobleID