FazBrowse GitHub Viewer | Trending | | Home

Tools: [Download Repo ZIP] [Original HTTPS Page]

History for logic.py - SharanyaVR/aima-python · GitHub

Commits

History for

Commits on May 23, 2013

Fix issue 35
darius
committed
f7a1202

Commits on Nov 5, 2011

Update logic.py to 3rd edition.
darius
committed
c3a6fbc

Commits on Oct 23, 2011

Stripped trailing whitespace.
darius
committed
c788734

Commits on Oct 17, 2011

Stopped subclassing Agent just for the sake of defining an agent program.
darius
committed
581beb8

Commits on Oct 11, 2011

Started converting to 3rd edition. agents.py converted plus a little extra cleanup.
darius
committed
5eb77e6

Commits on Oct 10, 2011

Commits on Oct 9, 2011

Made doctests work in Python 2.4. Not sure it'll keep being worth it, but these changes were minor.
darius
committed
19e7acf

Commits on Oct 7, 2011

Renamed disassociate -> dissociate.
darius
committed
2f9c6f5
Fixed some inconsistencies in making agent programs.
darius
committed
9a0099e

Commits on Oct 6, 2011

Assorted minor cleanup, mostly probability.py.
darius
committed
d43e072

Commits on Oct 5, 2011

Fixed issue 10. Fixed PropHornKB.retract. Cleanup.
darius
committed
c89b517
Fixed side-effect bug in DPLL; more cleanup.
darius
committed
0fbaeab
Fixed KB_Agent's use of KB.ask. (untested)
darius
committed
9232957
logic.py cleanup and minor bugfixing: pretty much done now.
darius
committed
66aa7b0
logic.py back into the bathtub. Fixed variables() and pretty().
darius
committed
31204b3

Commits on Oct 4, 2011

logic.py cleanup continued.
darius
committed
2473d8d
More logic.py cleanup, functionally neutral.
darius
committed
7c57b54
logic.py cleanup and incidental bugsquashing, part 1.
darius
committed
c831e43
Correctly parse the parts of a definite clause; clean up fol_bc_ask(); add crime example.
darius
committed
8f136a6
Fixed is_definite_clause().
darius
committed
7dcc214
Fixed standardize_apart to start afresh on top-level calls.
darius
committed
290bd46
Fixed issue 13.
darius
committed
8e039f2

Commits on Sep 15, 2011

Fixed issue 14.
darius
committed
e6fa960

Commits on Sep 12, 2011

Spelling/typo/minor style tweaks.
darius
committed
5308a2e

Commits on Aug 28, 2011

Formatting and spelling fixes.
darius
committed
5153e73

Commits on Jan 13, 2008

Fix doctests.
peter.norvig
committed
efa2459

Commits on Jul 13, 2007

Added functions variables, test_ask.

spottedMetal
authored and
spottedMetal
committed
551af9a
Added function subst_compose.

spottedMetal
authored and
spottedMetal
committed
cbd652f
Added functions: is_positive, is_negative, is_literal,

spottedMetal
authored and
spottedMetal
committed
de8ded4
Fixed error in unify/occur_check

spottedMetal
authored and
spottedMetal
committed
8b8527c

Commits on Jun 13, 2007

Initial upload of AIMA Python code to Google Code Project Hosting
peter.norvig
committed
2bd2348

Loading

Back | FazBrowse Home | New Git URL