Hacker News
- A “Hello World” Server in Prolog http://www.swi-prolog.org/howto/http/HelloText.html 36 comments
- SWI-Prolog for the semantic web http://www.swi-prolog.org/web/index.html 31 comments
- SWI-Prolog extensions in version 7 http://www.swi-prolog.org/pldoc/man?section=extensions 17 comments
- Getting functors/predicates? for a term https://www.swi-prolog.org/pldoc/man?section=examineprog 8 comments prolog
- Understanding output of SWI-Prolog (example with var predicate) https://www.swi-prolog.org/pldoc/man?predicate=var/1 4 comments prolog
- Serializing persistent data structures? https://www.swi-prolog.org/pldoc/man?predicate=term_factorized/3 15 comments prolog
- New to Prolog using SWI-Prolog: Questions about type-checking/assertions, findall and others. http://www.swi-prolog.org/pldoc/man?section=allsolutions 10 comments prolog
- Newbie question: is there searchable reference documentation available of OCaml? http://www.swi-prolog.org/pldoc/doc_for?object=reverse/2 9 comments ocaml
- 'Has anyone had experience with Shen' [and/or] 'Are functional logic languages interesting'? http://www.swi-prolog.org/pack/list?p=func 3 comments prolog
- Can I replace a LAMP stack with SWI-Prolog? http://www.swi-prolog.org/faq/prologlamp.html 4 comments prolog
- Any good implementations of set theory? http://www.swi-prolog.org/pldoc/doc_for?object=section%282,%27A.12%27,swi%28%27/doc/Manual/lists.html%27%29%29 6 comments prolog
Linking pages
- GitHub - ichiban/prolog: The only reasonable scripting engine for Go. https://github.com/ichiban/prolog 76 comments
- Pete Corey - Guitar Chord Voicings with Prolog http://www.petecorey.com/blog/2020/04/21/guitar-chord-voicings-with-prolog/ 43 comments
- Declarative Programming with Prolog – Part 1: Getting Started | Aaron Krauss https://thesocietea.org/2018/06/declarative-programming-with-prolog-part-1-getting-started/ 38 comments
- Functions That Go Backwards | jordan scales https://thatjdanisso.cool/functions-that-go-backwards 36 comments
- GitHub - klaudiosinani/awesome-prolog: Curated list of Prolog packages and resources https://github.com/klauscfhq/awesome-prolog 15 comments
- GitHub - sebdumancic/pylo2: Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit. https://github.com/sebdumancic/pylo2 9 comments
- GitHub - SallySoul/regexc: A regular expression compiler written in Prolog https://github.com/SallySoul/regexc 6 comments
- Erik Derohanian - A Gentle Introduction to MicroKanren https://erik-j.de/microkanren/ 5 comments
- Logic Programming with Perl and Prolog http://www.perl.com/pub/a/2005/12/15/perl_prolog.html 4 comments
- Declarative Programming with Prolog – Part 1: Getting Started | Aaron Krauss http://thecodeboss.dev/2018/06/declarative-programming-with-prolog-part-1-getting-started/ 3 comments
- GitHub - Ferdodonna/Gasket https://github.com/Ferdodonna/Gasket 3 comments
- Open-Source Retreat 2016 grantees https://stripe.com/blog/open-source-retreat-2016-grantees 2 comments
- GitHub - Mortimerp9/Prolog-Graphplan: The Graphplan algorithm is an automatic planning algorithm that can compute, given a set of rules, a plan of action to go from an initial state to a final state. This project provides an open source (GPL v3) implementation of this planner in Prolog. https://github.com/Mortimerp9/Prolog-Graphplan 2 comments
- Fans preserve and emulate Sega’s extremely rare ‘80s “AI computer” | Ars Technica https://arstechnica.com/gaming/2024/02/fans-preserve-and-emulate-segas-extremely-rare-80s-ai-computer/ 2 comments
- GitHub - kwon-young/music: Music Notation Grammar https://github.com/kwon-young/music 1 comment
- 6 interesting languages and their selling points · pema.dev https://pema.dev/2022/07/29/interestinglangs/ 1 comment
- How I accidentally learned Prolog – The If Works https://blog.jcoglan.com/2017/12/31/how-i-accidentally-learned-prolog/ 1 comment
- Solving Puzzles using Constraint Logic Programming in Prolog http://bennycheung.github.io/solving-puzzles-using-clp 1 comment
- Spatial Reasoning Explained http://bennycheung.github.io/spatial-reasoning-explained 0 comments
- GitHub - aartikis/RTEC: RTEC is an Event Calculus implementation optimised for stream reasoning https://github.com/aartikis/RTEC 0 comments