Neural-symbolic learning for knowledge base completion