|
ISO (1995): Prolog, Part 1: General Core, International
Standard ISO/IEC 13211-1, First Edition, 1995-06-01 |
|
| [2] |
Clocksin, W. (1983): A portable Prolog
compiler, Logic Programming Workshop, Albufeira Portugal,
January 1983 https://www.softwarepreservation.org/projects/prolog/lisbon/lpw83/p74-Bowen.pdf |
| [3] | Carlson, M. et al. (1988): Garbage collection
for Prolog based on WAM. Communica-tions of the ACM 31, 6,
719–740, June 1988 https://dl.acm.org/doi/10.1145/62959.62968 |
| [4] | Wirfs-Brock, A. (2020): JavaScript: the first
20 years, Proc. ACM Program. Lang., Vol. 4, No. HOPL,
Article 77. Publication date: June 2020. https://dl.acm.org/doi/10.1145/3386327 |
| [5] | JavaScript (2020): ECMAScript® 2020 Language
Specification, 11th-Edition, Ecma In-ternational, June 2020 https://262.ecma-international.org/11.0/ |
| [7] |
J. E. Hopcroft and R. M. Karp (1971): A
linear algorithm for testing equivalence of finite automata.
Technical Report 114, Cornell University, December 1971. https://api.semanticscholar.org/CorpusID:120207847 |
| [8] |
J Jaffar (1984): Efficient unification over
infinite terms. New Generation Computing, 2(3), pp.207-219,
September 1984 https://dl.acm.org/doi/abs/10.1007/BF03037057 |