COB
COB copied to clipboard
WIP: FOL rules (horn subset)
trafficstars
I guess this is Prolog. Can you point to instructions so that I could try running it?