A logic programming language based on formal logic and automated reasoning.
Louisville, CO, USA
Chelmsford, MA, USA
Lens, France
Madrid, Spain
Oxford, OH, USA
Old Westbury, NY, USA
Dresden, Germany
Rende, Italy
Lexington, KY, USA
Klagenfurt am Wörthersee, Austria
Omaha, NE, USA
Toronto, Canada
