This page is for major IFS.

• KLIC(KLIC Association)

• Deductive Object-oriented Database Language: QUIXOTE

• Legal Reasoning: HELIC-II (In Japanese)

• Genetic Information Processing (In Japanese)

• Parallel Database Management System: Kappa

• Parallel Theorem Prover: MGTP (In Japanese)