Gandalf (Lehrsatz prover)

Gandalf ist automatisierter Lehrsatz einer ersten Ordnung prover angewandt auf mehrere bereichsspezifische

Aufgaben wie Semantisches Web. Es hat auch am CADE ATP Systemkonkurrenz teilgenommen und hatte eindrucksvolle Ergebnisse in dieser Konkurrenz. Es wird auf der Schema-Programmiersprache programmiert, die dann zum C Programmiersprache-Verwenden Hobbit von SCM kompiliert wird.

Links


Lockheed Vega / Hans von Bartels
Impressum & Datenschutz