24 May 13:59 2015Antti Ylikoski
*Note about the Shen Prolog: some Prolog language classics
24 May 17:48 2015Artella Coding
**Note about the Shen Prolog: some Prolog language classics
22 May 17:15 2015Antti Ylikoski
*Shen and Expert Systems
23 May 11:07 2015Mark Tarver
**Shen and Expert Systems
23 May 22:16 2015Antti Ylikoski
**Shen and Expert Systems
24 May 12:44 2015Mark Tarver
***Shen and Expert Systems
22 May 04:02 2015Mark Thom
*[ANN] shen-minikanren
22 May 06:09 2015fuzzy wozzy
**[ANN] shen-minikanren
22 May 07:59 2015Mark Thom
***[ANN] shen-minikanren
22 May 17:57 2015jpd
**[ANN] shen-minikanren
22 May 19:43 2015Mark Thom
***[ANN] shen-minikanren
23 May 03:33 2015fuzzy wozzy
**[ANN] shen-minikanren
21 May 05:52 2015fuzzy wozzy
*shen download link broken for windows
21 May 15:47 2015Mark Tarver
**shen download link broken for windows
19 May 18:38 2015Antti Ylikoski
*Scientifically benefiting from the Sourceforge AI contents?
19 May 04:23 2015Bruno Deferrari
*microKanren implementation in Shen
19 May 20:44 2015Mark Tarver
**microKanren implementation in Shen
19 May 20:51 2015Mark Tarver
***microKanren implementation in Shen
19 May 20:53 2015Mark Thom
***microKanren implementation in Shen
18 May 20:40 2015Antti Ylikoski
*Quite a beginner with Shen
18 May 21:00 2015Mark Thom
**Quite a beginner with Shen
18 May 23:16 2015Antti Ylikoski
***Quite a beginner with Shen
19 May 21:02 2015Mark Tarver
****Quite a beginner with Shen
19 May 23:26 2015Antti Ylikoski
*****Quite a beginner with Shen
18 May 12:24 2015Antti Ylikoski
*Shen for Linux
18 May 13:19 2015Antti Ylikoski
**Shen for Linux
17 May 10:13 2015Antti Ylikoski
*DEFSYSTEM (it was there in the Symbolic LISP machines)
17 May 19:54 2015jpd
**DEFSYSTEM (it was there in the Symbolic LISP machines)
17 May 20:12 2015Antti Ylikoski
***DEFSYSTEM (it was there in the Symbolic LISP machines)
17 May 04:33 2015Mark Thom
*Symbols prefixed by &&
18 May 12:22 2015Mark Tarver
**Symbols prefixed by &&
18 May 18:40 2015Mark Thom
***Symbols prefixed by &&
18 May 19:05 2015Mark Tarver
****Symbols prefixed by &&
18 May 19:38 2015Mark Thom
*****Symbols prefixed by &&
19 May 21:08 2015Mark Tarver
******Symbols prefixed by &&
19 May 21:18 2015Mark Thom
*******Symbols prefixed by &&
19 May 21:33 2015Mark Tarver
********Symbols prefixed by &&
19 May 21:46 2015Mark Thom
*********Symbols prefixed by &&
19 May 22:41 2015Bruno Deferrari
**********Symbols prefixed by &&
19 May 23:07 2015Mark Thom
***********Symbols prefixed by &&
19 May 23:11 2015Bruno Deferrari
************Symbols prefixed by &&
19 May 23:15 2015Bruno Deferrari
*************Symbols prefixed by &&
15 May 01:47 2015Antti Ylikoski
*The LM-Prolog
15 May 11:57 2015Mark Tarver
**The LM-Prolog
14 May 20:15 2015Antti Ylikoski
*A newcomer: On the Metalevel Reasoning System
15 May 06:02 2015fuzzy wozzy
**A newcomer: On the Metalevel Reasoning System
15 May 12:11 2015Mark Tarver
**A newcomer: On the Metalevel Reasoning System
15 May 12:41 2015Ramil Farkhshatov
***A newcomer: On the Metalevel Reasoning System
15 May 13:03 2015Mark Tarver
****A newcomer: On the Metalevel Reasoning System
15 May 14:06 2015Antti Ylikoski
***A newcomer: On the Metalevel Reasoning System
15 May 16:11 2015Mark Tarver
****A newcomer: On the Metalevel Reasoning System
15 May 16:14 2015Mark Tarver
*****A newcomer: On the Metalevel Reasoning System
15 May 20:49 2015Mark Thom
******A newcomer: On the Metalevel Reasoning System
15 May 21:07 2015Antti Ylikoski
*******A newcomer: On the Metalevel Reasoning System
18 May 15:10 2015Kean Lau
**A newcomer: On the Metalevel Reasoning System
18 May 15:26 2015Antti Ylikoski
***A newcomer: On the Metalevel Reasoning System
18 May 19:36 2015Raoul Duke
****A newcomer: On the Metalevel Reasoning System
19 May 21:06 2015Mark Tarver
****A newcomer: On the Metalevel Reasoning System
19 May 23:57 2015Antti Ylikoski
*****A newcomer: On the Metalevel Reasoning System
20 May 01:41 2015Mark Tarver
******A newcomer: On the Metalevel Reasoning System
20 May 06:28 2015Antti Ylikoski
*******A newcomer: On the Metalevel Reasoning System
20 May 09:53 2015Antti Ylikoski
********A newcomer: On the Metalevel Reasoning System
20 May 13:21 2015Mark Tarver
********A newcomer: On the Metalevel Reasoning System
20 May 16:23 2015Antti Ylikoski
*********A newcomer: On the Metalevel Reasoning System
20 May 20:47 2015Mark Tarver
**********A newcomer: On the Metalevel Reasoning System
19 May 06:42 2015Antti Ylikoski
**A newcomer: On the Metalevel Reasoning System
14 May 05:40 2015fuzzy wozzy
*many hats vs. a few
14 May 19:44 2015Mark Thom
**many hats vs. a few
15 May 03:42 2015fuzzy wozzy
**many hats vs. a few
15 May 06:58 2015Raoul Duke
***many hats vs. a few
15 May 21:00 2015Mark Thom
****many hats vs. a few
15 May 21:23 2015Raoul Duke
*****many hats vs. a few
16 May 05:37 2015fuzzy wozzy
**many hats vs. a few
17 May 00:37 2015Mark Thom
***many hats vs. a few
10 May 18:39 2015Mark Tarver
*TBoS 3rd edition out next month
9 May 05:29 2015vpapayan
*[q] is there a way to contribute to dev/testing/development of Shen
9 May 20:26 2015Mark Thom
**[q] is there a way to contribute to dev/testing/development of Shen
10 May 18:27 2015Mark Tarver
**[q] is there a way to contribute to dev/testing/development of Shen
14 May 01:19 2015Mark Tarver
***[q] is there a way to contribute to dev/testing/development of Shen
14 May 03:52 2015vladislav p
****[q] is there a way to contribute to dev/testing/development of Shen
14 May 09:28 2015Mark Tarver
*****[q] is there a way to contribute to dev/testing/development of Shen
7 May 16:35 2015Mark Tarver
*Shen 19.2
7 May 14:47 2015Mark Tarver
*testing for end of stream in CL
7 May 19:40 2015Bruno Deferrari
**testing for end of stream in CL
8 May 17:00 2015Mark Tarver
***testing for end of stream in CL
4 May 06:23 2015fuzzy wozzy
*real-world division
5 May 04:16 2015fuzzy wozzy
**real-world division
13 May 03:11 2015fuzzy wozzy
**real-world division
13 May 16:26 2015Mark Tarver
***real-world division
2 May 16:55 2015Bruno Deferrari
*Extensions to core Shen in chibi-shen
2 May 22:48 2015Greg Spurrier
**Extensions to core Shen in chibi-shen
3 May 20:01 2015Bruno Deferrari
***Extensions to core Shen in chibi-shen
3 May 20:03 2015Bruno Deferrari
****Extensions to core Shen in chibi-shen
3 May 20:51 2015Ramil Farkhshatov
*****Extensions to core Shen in chibi-shen
3 May 21:15 2015Bruno Deferrari
******Extensions to core Shen in chibi-shen
3 May 22:02 2015Bruno Deferrari
*******Extensions to core Shen in chibi-shen
5 May 14:01 2015Mark Tarver
********Extensions to core Shen in chibi-shen
1 May 19:17 2015Mark Thom
*Typing the Shen Sources
1 May 19:43 2015Raoul Duke
**Typing the Shen Sources
5 May 13:02 2015Mark Tarver
**Typing the Shen Sources