Skip to content
Navigation Menu
Sign in
Appearance settings
Platform
AI CODE CREATION
GitHub Copilot
Write better code with AI
GitHub Copilot app
Direct agents from issue to merge
MCP Registry
Integrate external tools
DEVELOPER WORKFLOWS
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Code Quality
Enforce quality at merge
APPLICATION SECURITY
GitHub Advanced Security
Find and fix vulnerabilities
Code security
Secure your code as you build
Secret protection
Stop leaks before they start
EXPLORE
Why GitHub
Documentation
Blog
Changelog
Marketplace
View all features
Solutions
BY COMPANY SIZE
Enterprises
Small and medium teams
Startups
Nonprofits
BY USE CASE
App Modernization
DevSecOps
DevOps
CI/CD
View all use cases
BY INDUSTRY
Healthcare
Financial services
Manufacturing
Government
View all industries
View all solutions
Resources
EXPLORE BY TOPIC
AI
Software Development
DevOps
Security
View all topics
EXPLORE BY TYPE
Customer stories
Events & webinars
Ebooks & reports
Business insights
GitHub Skills
SUPPORT & SERVICES
Documentation
Customer support
Community forum
Trust center
Partners
View all resources
Open Source
COMMUNITY
GitHub Sponsors
Fund open source developers
PROGRAMS
Security Lab
Maintainer Community
Accelerator
GitHub Stars
Archive Program
REPOSITORIES
Topics
Trending
Collections
Enterprise
ENTERPRISE SOLUTIONS
Enterprise platform
AI-powered developer platform
AVAILABLE ADD-ONS
GitHub Advanced Security
Enterprise-grade security features
Copilot for Business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Search
/
Sign in
Sign up
Appearance settings
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
Uh oh!
There was an error while loading.
Please reload this page
.
Foris
/
aima-python
Public
forked from
aimacode/aima-python
Notifications
You must be signed in to change notification settings
Fork
0
Star
0
Code
Pull requests
0
Actions
Projects
Wiki
Security and quality
0
Insights
Additional navigation options
Code
Pull requests
Actions
Projects
Wiki
Security and quality
Insights
Commits
Breadcrumbs
History for
aima-python
logic.py
on
master
User selector
All users
All time
Commit history
Commits on Apr 6, 2017
Update logic.py fix minor typos (#474)
ltfschoen
authored and
norvig
committed
5ecee13
View commit details
Copy full SHA for 5ecee13
View code at this point
Browse repository at this point
Commits on Mar 25, 2017
Fix flake8 for main files (#399)
Show description for 034d279
lucasmoura
authored and
norvig
committed
034d279
View commit details
Copy full SHA for 034d279
View code at this point
Browse repository at this point
added fol_fc_ask to logic.py ; update README.md (#415)
Show description for df9d7d5
sofmonk
authored and
norvig
committed
df9d7d5
View commit details
Copy full SHA for df9d7d5
View code at this point
Browse repository at this point
Commits on Mar 18, 2017
Update comments and cleanup (#354)
Show description for d941781
VladKha
authored and
norvig
committed
d941781
View commit details
Copy full SHA for d941781
View code at this point
Browse repository at this point
changed unify_var() (#344)
Chipe1
authored and
norvig
committed
8a735bd
View commit details
Copy full SHA for 8a735bd
View code at this point
Browse repository at this point
Commits on Mar 3, 2017
Commenting Fixes (#294)
Show description for a6e3192
antmarakis
authored and
norvig
committed
a6e3192
View commit details
Copy full SHA for a6e3192
View code at this point
Browse repository at this point
Commits on Jun 20, 2016
Style: address pep8 warnings in main code.
reachtarunhere
committed
0dbb1f6
View commit details
Copy full SHA for 0dbb1f6
View code at this point
Browse repository at this point
Commits on Apr 18, 2016
Removed unnecessary list coercions around map (#228)
reachtarunhere
authored and
norvig
committed
6525e23
View commit details
Copy full SHA for 6525e23
View code at this point
Browse repository at this point
Commits on Apr 17, 2016
Style: address pep8 warnings.
darius
committed
194a2f1
View commit details
Copy full SHA for 194a2f1
View code at this point
Browse repository at this point
Fix bugs in diff() and simp(). Add a smoke test.
darius
committed
ac49792
View commit details
Copy full SHA for ac49792
View code at this point
Browse repository at this point
Remove unused imports.
darius
committed
28b485b
View commit details
Copy full SHA for 28b485b
View code at this point
Browse repository at this point
Remove unimplemented(): it's not worth it without *-imports.
darius
committed
083f8b2
View commit details
Copy full SHA for 083f8b2
View code at this point
Browse repository at this point
Use dict comprehensions now that we can.
darius
committed
3c2639a
View commit details
Copy full SHA for 3c2639a
View code at this point
Browse repository at this point
Commits on Apr 16, 2016
Style: delete excess parentheses. In some of these cases you need to read ahead to see that the paren is not introducing a tuple, for example.
darius
committed
8f58668
View commit details
Copy full SHA for 8f58668
View code at this point
Browse repository at this point
Commits on Apr 13, 2016
Additional Changes for Python3 Porting (#222)
Show description for f129c5c
reachtarunhere
authored and
norvig
committed
f129c5c
View commit details
Copy full SHA for f129c5c
View code at this point
Browse repository at this point
modifies Fig. to Figure all over the repository (#223)
Show description for 1ff5ae8
SnShine
authored and
norvig
committed
1ff5ae8
View commit details
Copy full SHA for 1ff5ae8
View code at this point
Browse repository at this point
Commits on Apr 11, 2016
implies changed to '==>'
Show description for 386814f
norvig
committed
386814f
View commit details
Copy full SHA for 386814f
View code at this point
Browse repository at this point
replace TRUE, FALSE with True, False
norvig
committed
75617fa
View commit details
Copy full SHA for 75617fa
View code at this point
Browse repository at this point
Correct mistaken comment.
darius
committed
7d65328
View commit details
Copy full SHA for 7d65328
View code at this point
Browse repository at this point
Fix bug: was calling a generator as if it returned a value-or-None instead of an iterator
darius
committed
3451e8d
View commit details
Copy full SHA for 3451e8d
View code at this point
Browse repository at this point
Commits on Apr 10, 2016
Removes obsolete Fig dictionary and modifies the codebase accordingly (#208)
Show description for 64fa05b
SnShine
authored and
norvig
committed
64fa05b
View commit details
Copy full SHA for 64fa05b
View code at this point
Browse repository at this point
Commits on Apr 9, 2016
Update logic.py
Show description for bee6cde
norvig
committed
bee6cde
View commit details
Copy full SHA for bee6cde
View code at this point
Browse repository at this point
Added Explicit Imports from utils (#202)
Show description for bf6e2be
reachtarunhere
authored and
norvig
committed
bf6e2be
View commit details
Copy full SHA for bf6e2be
View code at this point
Browse repository at this point
Fix implies operator in SAT_plan (#203)
Show description for 728e1f9
Chipe1
authored and
norvig
committed
728e1f9
View commit details
Copy full SHA for 728e1f9
View code at this point
Browse repository at this point
Commits on Apr 8, 2016
Implemented SAT_plan (#198)
Show description for ed41795
Chipe1
authored and
norvig
committed
ed41795
View commit details
Copy full SHA for ed41795
View code at this point
Browse repository at this point
Expr with infix ops (#200)
Show description for e594aff
norvig
committed
e594aff
View commit details
Copy full SHA for e594aff
View code at this point
Browse repository at this point
Commits on Apr 6, 2016
Fixed a typo in logic.py
Chipe1
authored and
norvig
committed
6746702
View commit details
Copy full SHA for 6746702
View code at this point
Browse repository at this point
Commits on Apr 5, 2016
Run doctests
norvig
committed
fd51088
View commit details
Copy full SHA for fd51088
View code at this point
Browse repository at this point
Commits on Mar 29, 2016
Merge pull request #176 from Chipe1/logic
Show description for f6cf450
norvig
committed
f6cf450
View commit details
Copy full SHA for f6cf450
View code at this point
Browse repository at this point
Commits on Mar 26, 2016
Added explicit failure return
Chipe1
committed
1021286
View commit details
Copy full SHA for 1021286
View code at this point
Browse repository at this point
Added WalkSAT
Chipe1
committed
b2a9dc7
View commit details
Copy full SHA for b2a9dc7
View code at this point
Browse repository at this point
Commits on Mar 25, 2016
Complete explanation of the Expr class
chiragvartak
committed
c114cc7
View commit details
Copy full SHA for c114cc7
View code at this point
Browse repository at this point
Commits on Mar 22, 2016
Add ask_if_true() method and fix minor errors
chiragvartak
committed
10a911c
View commit details
Copy full SHA for 10a911c
View code at this point
Browse repository at this point
Make some docstrings somewhat more clearer
chiragvartak
committed
c2fa32a
View commit details
Copy full SHA for c2fa32a
View code at this point
Browse repository at this point
Just studying the code
chiragvartak
committed
42627d5
View commit details
Copy full SHA for 42627d5
View code at this point
Browse repository at this point
Previous
Next
You can’t perform that action at this time.