Syllog Code

Syllog is a system for teaching logic, with anonymous answer logging

Brought to you by: ulrikp

Commit	Date
[r99] by ulrikp Only write an i-judgment as a consequence of both an a-judgment and doing graph _propkind.	2014-01-31 11:56:42	Tree
[r98] by ulrikp Change text above applet, and call the write_syllogism_graph goal for the 'New syllogism' button.	2014-01-29 21:52:20	Tree
[r97] by ulrikp Initial copy.	2014-01-29 21:50:48	Tree
[r96] by ulrikp Initial addition.	2014-01-29 21:49:54	Tree
[r95] by ulrikp Fix usage of pos_syll predicate in log_answer (use strings _S, _M, _P instead of the numbers S, M, P). Also fix conclusion/2 predicate to use strings instead of bare facts for the second and third parameter of the pr predicate.	2014-01-29 16:28:07	Tree
[r94] by ulrikp Update __unicode__ method for Answer3.	2014-01-29 16:23:46	Tree
[r93] by ulrikp Fix usage of pos_syll predicate in log_answer (use strings _S, _M, _P instead of the numbers S, M, P). Also fix conclusion/2 predicate to use strings instead of bare facts for the second and third parameter of the pr predicate.	2014-01-29 16:10:09	Tree
[r92] by ulrikp Debug the logging. Add a temporary fix for the incompleteness of conclusion/2.	2014-01-27 14:28:12	Tree
[r91] by ulrikp Debug the log_answer and update_propkind.	2014-01-27 14:24:10	Tree
[r90] by ulrikp Register Answer3 with the admin module.	2014-01-27 14:07:12	Tree

Older >