| | Hobbes OS/2 Archive: As of April 15th, 2024 this site will no longer exist (nmsu.edu) |
| 165 points by linker3000 on Jan 9, 2024 | past | 48 comments |
|
| | Classic SE Mistakes (1996) (nmsu.edu) |
| 77 points by arpa on Oct 6, 2022 | past | 46 comments |
|
| | Natural Language Processing with Prolog in the IBM Watson System (2011) (nmsu.edu) |
| 56 points by martinlaz on April 30, 2022 | past | 24 comments |
|
| | Learning with Original Historical Sources in Mathematics (nmsu.edu) |
| 9 points by vo2maxer on Jan 13, 2022 | past |
|
| | Alpha: Solver for Lazy-Grounding Answer-Set Programming [pdf] (nmsu.edu) |
| 33 points by tosh on April 15, 2019 | past |
|
| | The Alpha Solver for Lazy-Grounding Answer-Set Programming (nmsu.edu) |
| 1 point by tosh on April 5, 2019 | past |
|
| | Writing a FUSE Filesystem: A Tutorial (nmsu.edu) |
| 4 points by petercooper on March 22, 2018 | past |
|
| | InterProlog Studio Is a Simple IDE for XSB Prolog (nmsu.edu) |
| 2 points by callmekit on Sept 26, 2016 | past |
|
| | TuProlog: Making Prolog Ubiquitous (nmsu.edu) |
| 58 points by mjn on Nov 4, 2013 | past | 22 comments |
|
| | Natural Language Processing With Prolog in the IBM Watson System (nmsu.edu) |
| 3 points by gtani on Nov 29, 2011 | past |
|
| | Association for Logic Programming Newsletter (nmsu.edu) |
| 7 points by swannodette on June 30, 2011 | past |
|
| | NLP with Prolog in IBM Watson (nmsu.edu) |
| 49 points by helwr on June 12, 2011 | past | 14 comments |
|
| | Concurrent Programming Constructs and First-Class Logic Engines (nmsu.edu) |
| 12 points by dtby on March 31, 2011 | past | 3 comments |
|
| | Writing a FUSE Filesystem: a Tutorial (nmsu.edu) |
| 6 points by edw519 on Sept 30, 2009 | past |
|
| | Learn Discrete Mathematics and Computer Science via Primary Historical Sources (nmsu.edu) |
| 31 points by mapleoin on March 31, 2009 | past | 4 comments |
|
| | Teaching Discrete Mathematics via Primary Historical Sources (nmsu.edu) |
| 23 points by ulvund on Aug 23, 2008 | past | 1 comment |
|
| | Teaching Discrete Mathematics via Primary Historical Sources (nmsu.edu) |
| 2 points by iamelgringo on Aug 22, 2008 | past |
|