{"push_id":743321687,"size":1,"distinct_size":1,"ref":"refs/heads/supercharge1","head":"a3f0dd6a0554330ab85db93939d29c4ce393d021","before":"d50e5e077bea0d0520cf7a993e72740767db3f7b","commits":[{"sha":"a3f0dd6a0554330ab85db93939d29c4ce393d021","author":{"email":"b973a945b0939023ee9e7cae5c9f63d092ef81dd@gmail.com","name":"patrick.hammer"},"message":"Inference for the first time entirely happening based on beautiful NAL_Definition.logic domain specific language file!!!!!\n\nTODO:\n\nRule system:\n1. Evaluating precondition predicates (no_common_subterm, not_equal)\n2. Evaluating postcondition function (substituted)\n3. Adding A_1..n notation support which is needed by some rules.\n4. Handling all the metainformation (only some as a proof of concept added so far)\n\n4. NAL: Adding NAL7-8.","distinct":true,"url":"https://api.github.com/repos/opennars/opennars/commits/a3f0dd6a0554330ab85db93939d29c4ce393d021"}]}