Thomas Prokosch (Institute for Informatics, Ludwig-Maximilian University of Munich, Germany) |
A distributed logic programming language with support for meta-programming and stream processing offers a variety of interesting research problems, such as: How can a versatile and stable data structure for the indexing of a large number of expressions be implemented with simple low-level data structures? Can low-level programming help to reduce the number of occur checks in Robinson's unification algorithm? This article gives the answers. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.325.40 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |