Full First Order Logic Programming and Truth Predicate.

Taisuke Sato

Browse the full ICLP paper archive.