VIRT language interpreter

Beskrivning

VIRT är ett imperativt objektorienterat programmeringsspråk som är speciellt utvecklat för att lösa AI-problem. Huvuddragen hos VIRT är den nya teknologin för bearbetning av dynamikens datastrukturer som inte använder begrepp som "pekare" och "adress". VIRT har de flexibla kontrollstrukturerna och stödjer begreppen som rekursion, korutiner, lata utvärderingar, undantag. Det passar bra för satsbevisande, symbolisk differentiering, tolkskrivning, bakåtspårningsalgoritmer. Men samtidigt är VIRT ganska lämpligt för programmering av traditionella uppgifter, till exempel, såsom numeriska metoder. Därför tillhandahåller den den odelbara språkmiljön för integration av olika datadomäner. I synnerhet kan det användas som ett kraftfullt skriptspråk.