@incollection(AndS23,
 author       = {Carl Andersen and Theresa Swift},
 year         = {2023},
 title        = {The {\it Janus}{} System: Combining {Prolog} and {Python} in Applications},
 booktitle    = {{P}rolog - The Next 50 Years},
 publisher    = {Springer},
 doi          = {10.1007/978-3-031-35254-6_8},
 note         = {ISBN 978-3-031-35253-9},
)
@inproceedings(Cale04,
 author       = {M. Calejo},
 year         = {2004},
 title        = {Interprolog: Towards a Declrative Embedding of Logic Programming in {J}ava},
 booktitle    = {JELIA},
 publisher    = {Springer-Verlag},
 pages        = {714--717},
 doi          = {10.1007/978-3-540-30227-8_64},
)
@article(CarM12,
 author       = {M. Carlsson and P. Mildner},
 year         = {2012},
 title        = {{SICStus} {P}rolog -- the first 25 years},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {12},
 number       = {1-2},
 pages        = {35--66},
 doi          = {10.48550/arXiv.1011.5640},
)
@article(DiAC12,
 author       = {D. Diaz and S. Abreu and P. Codognet},
 year         = {2012},
 title        = {On the implementation of {GNU} {P}rolog},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {12},
 number       = {1-2},
 pages        = {253--282},
 doi          = {10.48550/arXiv.1012.2496},
)
@inproceedings(FBFJM18,
 author       = {E. Grave and P. Bojanowski and P. Gupta and A. Joulin and T. Mikolov},
 year         = {2018},
 title        = {Learning Word Vectors for 157 Languages},
 booktitle    = {ICLRE},
 url          = {https://aclanthology.org/L18-1550},
)
@incollection(GKSFB23,
 author       = {B. Grosof and M. Kifer and T. Swift and P. Fodor and J. Bloomfield},
 year         = {2023},
 title        = {Ergo: A Quest for Declarativity in Logic Programming},
 booktitle    = {{P}rolog - The Next 50 Years},
 publisher    = {Springer},
 doi          = {10.1007/978-3-031-35254-6_18},
 note         = {ISBN 978-3-031-35253-9},
)
@article(HBCLMMP12,
 author       = {M. V. Hermenegildo and F. Bueno and M. Carro and L{\'o}pez-Garci{\'a}, P. and E. Mera and F. Morales and G. Puebla},
 year         = {2012},
 title        = {An Overview of {Ciao} and its Design Philosophy},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {12},
 number       = {1-2},
 pages        = {219--252},
 doi          = {10.48550/arXiv.1102.5497},
)
@techreport(ISO-Prolog,
 author       = {{ISO working group JTC1/SC22}},
 year         = {1995},
 title        = {Prolog International Standard {ISO-IEC} 13211-1},
 type         = {Technical Report},
 institution  = {International Standards Organization},
)
@article(LOGDJCLLSZS19,
 author       = {Y. Liu and M. Ott and N. Goyal and J. Du and M. Joshi and D. Chen and O. Levy and M.Lewis and L. Zettlemoyer and V. Stoyanov},
 year         = {2019},
 title        = {RoBERTa: {A} Robustly Optimized {BERT} Pretraining Approach},
 journal      = {CoRR},
 volume       = {abs/1907.11692},
 doi          = {10.48550/arXiv.1907.11692},
)
@manual(TheLogtalkHandbook,
 author       = {Paulo Moura},
 year         = {2022},
 title        = {{The Logtalk Handbook}},
 edition      = {{Release 3.61.0}},
)
@article(SCDR12,
 author       = {{Santos Costa}, V. and L. Damas and R. Rocha},
 year         = {2012},
 title        = {The {YAP} {Prolog} System},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {12},
 number       = {1-2},
 pages        = {5--34},
 doi          = {10.48550/arXiv.1102.3896},
)
@article(SchiS12,
 author       = {J. Schimpf and K. Shen},
 year         = {2012},
 title        = {{ECLiPSe -- From LP to CLP}},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {12},
 number       = {1-2},
 pages        = {127--156},
 doi          = {10.48550/arXiv.1012.4240},
)
@article(SwiW12,
 author       = {T. Swift and D.S. Warren},
 year         = {2012},
 title        = {{XSB}: Extending the Power of {P}rolog using Tabling},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {12},
 number       = {1-2},
 pages        = {157--187},
 doi          = {10.48550/arXiv.1012.5123},
)
@inproceedings(Tarau21,
 author       = {P. Tarau},
 year         = {2021},
 title        = {Natlog: a Lightweight Logic Programming Language with a Neuro-symbolic Touch},
 booktitle    = {ICLP},
 doi          = {10.48550/arXiv.2109.08291},
)
@article(WSTL12,
 author       = {Jan Wielemaker and T. Schrijvers and M. Triska and T. Lager},
 year         = {2012},
 title        = {{SWI-Prolog}},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {12},
 number       = {1-2},
 pages        = {67--96},
 doi          = {10.48550/arXiv.0711.0917},
)
@book(ZhKF15,
 author       = {N. Zhou and H. Kjellerstrand and J. Fruhman},
 year         = {2015},
 title        = {Constraint Solving and Planning with {Picat}},
 publisher    = {Springer Briefs in Intelligent Systens},
 doi          = {10.1007/978-3-319-25883-6},
)
@article(Zhou12,
 author       = {N.F. Zhou},
 year         = {2012},
 title        = {The Language Features and Architecture of {B-Prolog}},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {12},
 number       = {1-2},
 pages        = {189--218},
 doi          = {10.48550/arXiv.1103.0812},
)