vefthym/dr-prolog-proof-checker

Automatically exported from code.google.com/p/dr-prolog-proof-checker

OpenEdge ABL