| | 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
|
|
