Package net.sf.tweety.logics.pl.writer

Class Summary

Class	Description
PlWriter	This class implements a writer for propositional formulas and belief bases.