After forty years of research, theoretical programming enriched with its own formal-algorithmic apparatus and the subject of research, significantly expanded from procedural languages to methods of knowledge representation that form artificial intelligence tools for developers of application systems.
Κατόπιν σαράντα χρόνων ερευνών, ο θεωρητικός προγραμματισμός εμπλουτισμένος με τη δική του τυπική-αλγοριθμική μηχανή και το αντικείμενο της έρευνας, επεκτάθηκε σημαντικά από τις διαδικαστικές γλώσσες στις μεθόδους αναπαράστασης γνώσεων που αποτελούν εργαλεία τεχνητής νοημοσύνης για τους προγραμματιστές συστημάτων εφαρμογών.