Package org.tweetyproject.logics.pl.writer

Class Summary

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