4:- [resolution].    5
    6
    7
    8rule_set(RuleSet,MaxRuleID):-
    9  MaxRuleID = 7,
   10  RuleSet = [
   11    [1,def_father_1,[-[child,Y,X],-[male,X],+[father,X,Y]]],
   12    [2,def_mother_1,[-[child,Y,X],-[female,X],+[mother,X,Y]]],
   13    [3,def_parent_1,[-[father,X,Y],+[parent,X,Y]]],
   14    [4,def_parent_2,[-[mother,X,Y],+[parent,X,Y]]],
   15    [5,fact_lucy_1,[+[female,lucy]]],
   16    [6,fact_alice_1,[+[child,alice,bob]]],
   17    [7,fact_bob_1,[+[child,bob,lucy]]]
   18  ].
   19
   20symbol_set(SymbolSet,MaxSymbolID):-
   21  MaxSymbolID = 10,
   22  SymbolSet = [
   23    [1,vble],[2,father],[3,child],[4,male],[5,female],
   24    [6,parent],[7,lucy],[8,alice],[9,bob],[10,mother]
   25  ].
   26
   27
   28nnet_definition(NNet):-
   29  InDim = 70,
   30  HidDim = 32,
   31  OutDim = 7,
   32  layer_init(layer1,InDim,HidDim,relu,[-0.2,0.2]),
   33  layer_init(layer2,HidDim,HidDim,relu,[-0.2,0.2]),
   34  layer_init(layer3,HidDim,HidDim,relu,[-0.2,0.2]),
   35  layer_init(layer4,HidDim,HidDim,relu,[-0.2,0.2]),
   36  layer_init(layer5,HidDim,HidDim,relu,[-0.2,0.2]),
   37  layer_init(layer6,HidDim,OutDim,softmax,[-0.2,0.2]),
   38  NNet = [layer1,layer2,layer3,layer4,layer5,layer6].
   39
   40run_main:-
   41  init_search_time,
   42  nnet_definition(NNet),
   43  rule_set(RS,NR),
   44  symbol_set(SS,NS),
   45  LM = method(learning(100,0.01),input(2,2),output(7)),
   46  RM = method(reasoning,input(2,2),output(7)),
   47  G1 = [-[female,lucy]],
   48  dnn_sl_resolution(G1,[RS,NR],[SS,NS],NNet,LM,100,_),
   49  G2 = [-[mother,lucy,bob]],
   50  dnn_sl_resolution(G2,[RS,NR],[SS,NS],NNet,LM,100,_),
   51  G3 = [-[mother,lucy,bob],-[female,lucy]],
   52  dnn_sl_resolution(G3,[RS,NR],[SS,NS],NNet,LM,100,_),
   53  G4 = [-[parent,lucy,bob]],
   54  dnn_sl_resolution(G4,[RS,NR],[SS,NS],NNet,RM,100,Path4),
   55  nl,print_by_line(Path4),nl