Microsoft Download Center Archive

Counterdog: Theorem Prover for Counterfactual Datalog Logic

  • Published:
  • Version: 1.0
  • Category: Tool
  • Language: English

Counterdog is an automated theorem prover for counterfactual meta-logic on propositional Datalog. Last published: November 24, 2011.

Counterdog is an automated theorem prover for counterfactual meta-logic on propositional Datalog. The prover is complete for the logic and can prove or disprove counterfactual statements such as “if ‘p’ is false in a Datalog program but would be true if it contained ‘a:-b,’ then ‘b’ is true in the program.” Counterdog is useful for reasoning about Datalog-based trust-management languages.

Files

Status: Deleted

This download is no longer available on microsoft.com. The downloads below are archives provided by the Internet Archive Wayback Machine from the Microsoft Download Center prior to April 2023.

System Requirements

Operating Systems: Windows 10, Windows 7, Windows 8

  • Windows 7, Windows 8, or Windows 10

Installation Instructions

  • Click Download and follow the instructions.
This page was generated from a snapshot of the Microsoft Download Center made on .
FamilyId: bf6efbc4-a27a-4c0e-b835-a3f2321e2b40
Report a problem