| Rev |
Scores |
Commit log message |
Date |
Author |
| r29 |
|
|
Jan 12, 2008 |
|
| r28 |
|
|
Nov 25, 2007 |
|
| r27 |
|
|
Nov 25, 2007 |
|
| r26 |
|
|
Nov 25, 2007 |
|
| r25 |
|
|
Oct 01, 2007 |
|
| r24 |
|
|
Oct 01, 2007 |
|
| r23 |
|
|
Oct 01, 2007 |
|
| r22 |
|
|
Oct 01, 2007 |
|
| r21 |
|
|
Jul 17, 2007 |
|
| r20 |
|
|
Jul 13, 2007 |
|
| r19 |
|
|
Jul 13, 2007 |
|
| r18 |
|
Added functions: is_positive, is_negative, is_literal,
literals, is_definite_clause.
Partially implemented FolKB class and function fol_bc_ask.
Fixed errors in pl_resolution, standardize_apart.
Fixed errors in doctest cases for dpll_satisfiable, unify, extend,
and pl_resolve.
Added functions ppsubst, ppdict, and ppset, and used to simplify doctest cases.
|
Jul 13, 2007 |
|
| r17 |
|
|
Jul 13, 2007 |
|
| r16 |
|
|
Jul 13, 2007 |
|
| r15 |
|
|
Jul 13, 2007 |
|
| r14 |
|
|
Jul 13, 2007 |
|
| r13 |
|
|
Jul 13, 2007 |
|
| r12 |
|
|
Jul 13, 2007 |
|
| r11 |
|
|
Jul 13, 2007 |
|
| r10 |
|
|
Jul 13, 2007 |
|
| r9 |
|
|
Jul 13, 2007 |
|
| r8 |
|
|
Jul 13, 2007 |
|
| r7 |
|
|
Jul 13, 2007 |
|
| r6 |
|
|
Jul 13, 2007 |
|
| r5 |
|
|
Jul 13, 2007 |
|