Advertisement
XSB
XSB - Logic Programming and Deductive Database system for Unix-like and Windows platforms...
database deductive database predicate declaration garbage collector deduction
Deductions
Allows you to easily learn natural deduction...