Hacker GitHub

← All repos

klaudiosinani/awesome-prolog

View on GitHub ↗ ★ 579

Curated list of Prolog packages and resources

9 mentions on Hacker News by 3 people: 0 stories, 9 comments · first 2019-04-05 · latest 2021-01-05

Mentions per year 9 mentions · busiest year 2019 (5)
20082026
  1. Here are some resources: https://github.com/klaussinani/awesome-prolog#resources I recall going through the Adventure in Prolog one (free online resource) a while ago and enjoying it, helped direct a lot of exploration into the Prolog…
    comment by Jtsummers · 2021-01-05 · in Why Learn Prolog in 2021?
  2. …is prolog but it's well beyond just 'non-trivial' maybe poke around here: https://github.com/klaussinani/awesome-prolog it's got a markdown parser linked https://github.com/rla/prolog-markdown
    comment by Avshalom · 2020-07-13 · in Real World Programming in SWI-Prolog
  3. …- Scryer Prolog[5]. [1] https://www.metalevel.at/prolog [2] https://book.simply-logical.space/ [3] https://github.com/klaussinani/awesome-prolog [4] https://github.com/ML-KULeuven/problog [5] https://github.com/mthom/scryer-prolog
    comment by xvilka · 2020-06-22 · in The Art of Prolog (1994)
  4. …- Scryer Prolog[5]. [1] https://www.metalevel.at/prolog [2] https://book.simply-logical.space/ [3] https://github.com/klaussinani/awesome-prolog [4] https://github.com/ML-KULeuven/problog [5] https://github.com/mthom/scryer-prolog
    comment by xvilka · 2020-05-11 · in The Power of Prolog [video]
  5. …- Scryer Prolog[5]. [1] https://www.metalevel.at/prolog [2] https://book.simply-logical.space/ [3] https://github.com/klaussinani/awesome-prolog [4] https://github.com/ML-KULeuven/problog [5] https://github.com/mthom/scryer-prolog
    comment by xvilka · 2019-10-29 · in Swish: SWI Prolog Notebook
  6. …Prolog are much more universal. See the Awesome Prolog[1] list for more resources and examples. [1] https://github.com/klaussinani/awesome-prolog
  7. …[1] https://github.com/triska/the-power-of-prolog/ [2] https://book.simply-logical.space/ [3] https://github.com/klaussinani/awesome-prolog [4] https://github.com/ML-KULeuven/problog [5] https://github.com/mthom/scryer-prolog
    comment by xvilka · 2019-08-25 · in Adventure in Prolog Tutorial (2016)
  8. …book, and Awesome Prolog[2] list for more information. [1] https://www.metalevel.at/prolog [2] https://github.com/klaussinani/awesome-prolog
  9. …Reasoning by Example https://book.simply-logical.space/ See Awesome Prolog list for more: https://github.com/klaussinani/awesome-prolog