001    /*
002     * Created on Feb 17, 2005
003     *
004     */
005    package aima.logic.demos;
006    
007    import aima.logic.fol.demos.FolDemo;
008    
009    /**
010     * @author Ravi Mohan
011     * 
012     */
013    public class LogicDemo {
014            public static void main(String[] args) {
015                    // propostional
016                    DPLLDemo.main(null);
017                    PLFCEntailsDemo.main(null);
018                    PLResolutionDemo.main(null);
019                    TTEntailsDemo.main(null);
020                    WalkSatDemo.main(null);
021    
022                    // firstorder
023                    FolDemo.main(null);
024            }
025    }