| | Closed Knight's Tour in Prolog (metalevel.at) |
|
3 points by todsacerdoti 7 months ago | past
|
|
| | The Power of Prolog (metalevel.at) |
|
2 points by tosh on Jan 31, 2024 | past
|
|
| | A Couple of Meta-Interpreters in Prolog (metalevel.at) |
|
2 points by 082349872349872 on Oct 12, 2023 | past
|
|
| | The Power of Prolog (metalevel.at) |
|
306 points by _benj on Sept 11, 2023 | past | 127 comments
|
|
| | Turing Machine in Prolog (2017) (metalevel.at) |
|
42 points by raldu on Nov 22, 2022 | past
|
|
| | Turing Machine in Prolog (2017) (metalevel.at) |
|
2 points by raldu on Nov 3, 2022 | past
|
|
| | The Power of Prolog (metalevel.at) |
|
279 points by jsfcoding on June 6, 2022 | past | 67 comments
|
|
| | Prolog implementation of the Knuth-Bendix completion procedure (metalevel.at) |
|
4 points by carapace on Nov 18, 2020 | past
|
|
| | Prolog Web Applications (2016) (metalevel.at) |
|
104 points by ArneVogel on June 22, 2020 | past | 18 comments
|
|
| | The Power of Prolog (metalevel.at) |
|
381 points by fogus on April 7, 2020 | past | 82 comments
|
|
| | The FAQ of comp.lang.prolog is maintained as a Prolog source file (metalevel.at) |
|
118 points by martinlaz on March 11, 2020 | past | 66 comments
|
|
| | Show HN: Constraint-Based School Timetabling with Prolog (metalevel.at) |
|
20 points by triska on Jan 2, 2020 | past | 4 comments
|
|
| | Logic Puzzles with Prolog (2017) (metalevel.at) |
|
138 points by YeGoblynQueenne on Nov 19, 2019 | past | 26 comments
|
|
| | Statistical Simulation of FIFA World Cup (metalevel.at) |
|
2 points by martinlaz on Aug 22, 2019 | past
|
|
| | Simsttab: A Timetabling Engine for Schools (metalevel.at) |
|
3 points by hjek on June 13, 2019 | past
|
|
| | Solving Sudoku with Prolog (2016) (metalevel.at) |
|
179 points by hjek on June 10, 2019 | past | 73 comments
|
|
| | Proloxy – Prolog Reverse Proxy (metalevel.at) |
|
3 points by networked on Nov 3, 2018 | past
|
|
| | Lisprolog – Interpreter for a Simple Lisp, Written in Prolog (metalevel.at) |
|
52 points by YeGoblynQueenne on Oct 16, 2018 | past | 10 comments
|
|
| | The Power of Prolog: An Introduction to Modern Prolog (metalevel.at) |
|
36 points by striking on Aug 7, 2018 | past | 1 comment
|
|
| | A Couple of Meta-Interpreters in Prolog (metalevel.at) |
|
136 points by octosphere on Aug 6, 2018 | past | 17 comments
|
|
| | The Power of Prolog (metalevel.at) |
|
480 points by tosh on May 21, 2018 | past | 158 comments
|
|
| | The meaning of = for logic programmers (metalevel.at) |
|
1 point by triska on April 17, 2018 | past
|
|
| | The Power of Prolog (metalevel.at) |
|
348 points by noch on April 5, 2017 | past | 161 comments
|
|
| | Lisprolog – Interpreter for a Simple Lisp, Written in Prolog (metalevel.at) |
|
2 points by YeGoblynQueenne on Feb 10, 2016 | past
|
|
