Update README.md

README.md

 # my-project
+Vorraussetzungen:
+swi-prolog
+stack
+tct-trs(über den link zu finden	https://tcs-informatik.uibk.ac.at/tools/tct/download.php, ich versuche aktuell es einzubinden das es mitinstalliert wird.)
+(tct-trs erfordert dies erfordert minismt und minismt erfordert ttt, beide haben ihre eigenen readme files)
+(wenn die installation zu viele umstände macht kann man den aufruf manuell über die weboberfläche machen)
+
+
+Wie man installiert soweit ich es sehe
+stack install
+
+
+man kann tct-trs für term rewriting online verwenden indem man den Inhalt der nebebenan erstellten TermRewritingSystem textdatei eingibt.
+innermost rewriting sollte ausgewählt sein
+
+
+
+
+der aufruf ist:
+stack exec abstranalyser-exe <Programmpfad> <erwünschte Variablen(min das erste)>
+
+kann aktuell nur aus dem ordner selbst aufgerufen werden, ich arbeite daran es besser zu machen
+
+Die Argumente sind Filepath,												erfordert
+Anzahl der case nodes bevor instance nodes verwendet werden können,							default = 5
+menge an abstrakten Variablen die generiert werden bevor  das Program nichttermination deklariert und abbricht,		default = 1000
+maximale Tiefe eines Zustands oder Eintrags in der non-Unifiable liste bevor Generalisation passiert,			default = 2* argument 2
+Anzahl der case nodes bevor parallel nodes verwendet werden können,							default = argument 2
+Anzahl der case nodes bevor generalize nodes verwendet werden können,							default = argument 2 + 2
+Anzahl der case nodes bevor split nodes verwendet werden können,							default = argument 2
+
+
+zum beispiel
+
+abstranalyser-exe examples/constant/toyama/toyama.pl 5 1000
+
+
+
+Das Programm Verwendet den Groundness Analyzer von Peter Schachte der in seinem eigenen Ordner hier dabei ist,
+sowie die TCT-TRS von der Theoretical Computer Science Gruppe an der Universität Innsbruck.
+zur erstellung wurde auch Happy verwendet.
+
+
+Der Rest ist geschrieben von mir, Morgan Couapel