Code

Fix for unify algorithm in logic.py#1101

Code

Merged

antmarakis merged 5 commits intoaimacode:masteraimacode/aima-python:masterfrom

alessandrocuda:unify-fixalessandrocuda/aima-python:unify-fixCopy head branch name to clipboard

Aug 19, 2019

Commits

Commits on Aug 16, 2019

• Fix issue #1053

  Show description for 219f0b1
  alessandrocuda

  committed
  219f0b1

  Copy full SHA for 219f0b1

• added two more test in test_logic.py

  Show description for 0a0a1ae
  alessandrocuda

  committed
  0a0a1ae

  Copy full SHA for 0a0a1ae

• Fixed brackets missing in test_logic.py for the new test

  alessandrocuda

  committed
  3d5c095

  Copy full SHA for 3d5c095

• Fixed typo error, missing space and double quotes for docstrings

  alessandrocuda

  committed
  9b682e1

  Copy full SHA for 9b682e1

• comments changed to cascade_substitution function in logic.py

  alessandrocuda

  committed
  01876d5

  Copy full SHA for 01876d5