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