A logic programming language based on formal logic and automated reasoning.
New York Institute of Technology
Old Westbury, NY, USA
