All the example websites look really old. Has anyone used Prolog in a recent web project?
I remember seeing a modern and pretty website once that used SWI prolog and JavaScript to help you visualise natural deduction proofs but I can't find it anymore :'(
1 comment
[ 3.4 ms ] story [ 5.7 ms ] threadI remember seeing a modern and pretty website once that used SWI prolog and JavaScript to help you visualise natural deduction proofs but I can't find it anymore :'(