Python parse_definite_clause Exemples

Exemple #1

Fichier : notebook.py Projet : aivo0/ML-exercises

 def fol_bc_or(KB, goal, theta):
     for rule in KB.fetch_rules_for_goal(goal):
         lhs, rhs = parse_definite_clause(standardize_variables(rule))
         for theta1 in fol_bc_and(KB, lhs, unify(rhs, goal, theta)):
             yield ([(goal, theta1[0])], theta1[1])

Exemple #2

Fichier : notebook.py Projet : NeelShah18/aima-python

 def fol_bc_or(KB, goal, theta):
     for rule in KB.fetch_rules_for_goal(goal):
         lhs, rhs = parse_definite_clause(standardize_variables(rule))
         for theta1 in fol_bc_and(KB, lhs, unify(rhs, goal, theta)):
             yield ([(goal, theta1[0])], theta1[1])