#include "facts.dl"
#include "kicad-mpn.dl"

.output fact

/*
.decl is_resistor(uri:symbol)
.decl is_capacitor(uri:symbol)
.decl is_inductor(uri:symbol)

is_resistor(Ref) :-
    resistor_lib(lib).
    fact(Ref, "http://purl.org/ee/kicad-sch-fact-type#footprint-library", lib).

is_capacitor(Ref) :-
    capacitor_lib(lib).
    fact(Ref, "http://purl.org/ee/kicad-sch-fact-type#footprint-library", lib).

is_inductor(Ref) :-
    inductor_lib(lib).
    fact(Ref, "http://purl.org/ee/kicad-sch-fact-type#footprint-library", lib).
*/

.decl resistor_lib(name:symbol)
resistor_lib("Resistor_SMD").
resistor_lib("Resistor_THT").

.decl capacitor_lib(name:symbol)
capacitor_lib("Capacitor_SMD").

.decl inductor_lib(name:symbol)
inductor_lib("Inductor_SMD").

fact(Ref, "http://purl.org/ee/fact-type/ee-component-type", "http://purl.org/ee/part-type#resistor") :-
    resistor_lib(lib),
    fact(Ref, "http://purl.org/ee/kicad-sch-fact-type#footprint-library", lib).

fact(Ref, "http://purl.org/ee/fact-type/ee-component-type", "http://purl.org/ee/part-type#capacitor") :-
    capacitor_lib(lib),
    fact(Ref, "http://purl.org/ee/kicad-sch-fact-type#footprint-library", lib).

fact(Ref, "http://purl.org/ee/fact-type/ee-component-type", "http://purl.org/ee/part-type#inductor") :-
    inductor_lib(lib),
    fact(Ref, "http://purl.org/ee/kicad-sch-fact-type#footprint-library", lib).