P

paip-python

Settings | Report Duplicate

0

I Use This!

Inactive

Commits : Listings

Analyzed about 19 hours ago. based on code collected about 19 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Feb 13, 2025 — Feb 13, 2026 Showing page 4 of 7 Search / Filter on:
fix logic examples after Database class removal	Daniel Connelly	More...				almost 14 years ago
better logging	Daniel Connelly	More...				almost 14 years ago
remove Database for raw dict	Daniel Connelly	More...				almost 14 years ago
remove Fact and Rule classes	Daniel Connelly	More...				almost 14 years ago
split prolog REPL into separate module; remove old Var.unify	Daniel Connelly	More...				almost 14 years ago
add instructions for running prolog to README	Daniel Connelly	More...				almost 14 years ago
turn off logging on an exampel	Daniel Connelly	More...				almost 14 years ago
add transitive rule example	Daniel Connelly	More...				almost 14 years ago
enable interrupt while proving	Daniel Connelly	More...				almost 14 years ago
fix rename of repeated var in relation	Daniel Connelly	More...				almost 14 years ago
fix bug in get_vars (multiple same vars) and add test	Daniel Connelly	More...				almost 14 years ago
more logging	Daniel Connelly	More...				almost 14 years ago
rewrote unify per norvig, updated tests	Daniel Connelly	More...				almost 14 years ago
more logging in unification	Daniel Connelly	More...				almost 14 years ago
parse commands	Daniel Connelly	More...				almost 14 years ago
parse clauses and relation_lists	Daniel Connelly	More...				almost 14 years ago
add parser with term, atom, var, relation	Daniel Connelly	More...				almost 14 years ago
add prolog lexer	Daniel Connelly	More...				almost 14 years ago
fix bug: vars resolving to relations. replace class unify methods with single unify() function.	Daniel Connelly	More...				almost 14 years ago
added failing testcase: unifying to vars that each resolve to relations fails	Daniel Connelly	More...				almost 14 years ago
logic: added more examples	Daniel Connelly	More...				almost 14 years ago
logic: printing solutions now resolves relations. list example added.	Daniel Connelly	More...				almost 14 years ago
logic: backtracking works--proving recursively	Daniel Connelly	More...				almost 14 years ago
logic: test_prove_primitive_call	Daniel Connelly	More...				almost 14 years ago
logic: test_prove_subgoals_required_pass. fixed bug in Atom.unify: when Var.lookup resolved to another var (ie, its transitive binding chain didn't end at an Atom), Atom.unify was treating the resulting binding var as an Atom.	Daniel Connelly	More...				almost 14 years ago
logic: test_prove_all_no_subgoals_required	Daniel Connelly	More...				almost 14 years ago
logic: test_prove_no_subgoals_required	Daniel Connelly	More...				almost 14 years ago
logic database tests. fixed bug: query returning None instead of empty list	Daniel Connelly	More...				almost 14 years ago
bug in db query: keyerror when no such pred in db	Daniel Connelly	More...				almost 14 years ago
fixed unification bugs: unbound vars now bind to each other, but cycles are detected; new recursive_rename method on clauses; some prove() refactoring that i meant to make a separate commit	Daniel Connelly	More...				almost 14 years ago

←
1
2
3
4
5
6
7
→