3 ms·
Alternatively, you could just use Shen, which actually uses Prolog to implement its type system.
by ruricolist 10y ago
Alternatively, you could just use Shen, which actually uses Prolog to implement its type system.
- dkarapetyan 10y agoYa but for some reason Shen uses weird sequent calculus syntax. I'd much rather write Prolog rules than sequents.
- throwaway7645 10y agoIs the license for Shen still odd? I know Tarver doesn't believe in free software.
- mcbits 10y agoThere is this page suggesting it's mostly BSD, but the License link is a 404: http://shenlanguage.org/ethics.html http://shenlanguage.org/ethics.html