First Order Logic

A general similarity framework for horn clause logic

Logic Programming / First Order Logic