Links related to Logic Programming/Theorem Prover
論理プログラミング関連のリンク集

Last modified: Sun Apr 28 13:25:28 2002 JST

[Useful Links] [Linear Logic] [Prolog in Java] [Prolog Implementations] [Theorem Prover]

Logic Programming based on Linear Logic

Prolog in Java

Prolog and related systems

Useful Links

Theorem Prover


Mutsunori BANBARA