Simply Logical – The First Three Decades-Reference-Cited by-同舟云学术

Simply Logical – The First Three Decades

Published:2023 Issue: Volume: Page:184-193
ISSN:0302-9743
Container-title:Prolog: The Next 50 Years
language:
Short-container-title:

Author:

Flach Peter^ORCID,Sokol Kacper^ORCID,Wielemaker Jan^ORCID

Publisher

Springer Nature Switzerland

Link

https://link.springer.com/content/pdf/10.1007/978-3-031-35254-6_15

Reference17 articles.

1. Allaire, J., Teague, C., Scheidegger, C., Xie, Y., Dervieux, C.: Quarto (2022). https://doi.org/10.5281/zenodo.5960048, https://github.com/quarto-dev/quarto-cli

2. Blackburn, P., Bos, J., Striegnitz, K.: Learn Prolog Now! http://www.let.rug.nl/bos/lpn/index.php (2001)

3. Blackburn, P., Bos, J., Striegnitz, K.: Learn Prolog Now! (Texts in Computing, Vol. 7), College Publications, London (2006)

4. Blackburn, P., Bos, J., Striegnitz, K.: Learn Prolog Now! https://lpn.swi-prolog.org/ (2014)

5. De Raedt, L., Kimmig, A., Toivonen, H.: ProbLog: A probabilistic Prolog and its application in link discovery. In: IJCAI. vol. 7, pp. 2462–2467. Hyderabad (2007)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials;Electronic Proceedings in Theoretical Computer Science;2023-09-12

2. Some Thoughts on How to Teach Prolog;Prolog: The Next 50 Years;2023

3. Demonstrating Multiple Prolog Programming Techniques Through a Single Operation;Prolog: The Next 50 Years;2023

4. Teaching Prolog with Active Logic Documents;Prolog: The Next 50 Years;2023