Declarative Rule

• Name: Generalized Modus Pones with Unification
• Rule Specification: A; '(implies ( and ' B ')' q ')' |- q[mgsu(A, B)];; (Sent A B q) ; (= card(A) card(B))
• Specification Language: Proof Protocol for Deductive Reasoning (PPDR)

(Registration details...)

Copyright 2009 Inference Web group.
All Rights Reserved.