Basic Information

• Instructor: Cheng-Chia Chen,
• Tel: 29387621;
• Email: chencc@cs.nccu.edu.tw
• WWW Page URL: http://xml.cs.nccu.edu.tw/courses/Lics/Lics2007/

• Time: 1:10~4:00PM Monday
• place: 大仁樓(200)102

• Textbook: none

• References:
• Logic: a foundation for computer science, by V. Sperschneider & G. Antoniou. 1991 Addision wesley.
• Logic and Proof, (notes, slides)by Dr Larry Paulson
• Logic, Programming and Prolog (2ed) by Ulf Nilsson and Jan Maluszynski (online ebook)
• Learn Prolog Now! (offered by Patrick Blackburn, Johan Bos and Kristina Striegnitz)

• Grading:
• mid-term examination 25 %
• final examination 25 %
• classroom participation: 15~20 %
• homeworks (including programming homeworks) 30~35%

• HomeWorks:
• Homework 2 (doc,pdf) (due : 4/16)
• Homework 3 (programing assignment)(doc,html) (due : 6/4)
• Homework 4 (doc,pdf) (due : 6/11)
• Homework 5 (doc,pdf) (due : 6/22) (Solutions(1-6))

• course outline

• 歷次考題:
• 學期成績

• tools
  • Freely available Prolog Systems
  •     XSB
  •     SWI Prolog :
  •    The ECLiPSe Constraint Programming System
  •    The YAP(Yet Another Prolog) Prolog System :
  •     Ciao Prolog :
  •     JIProlog - Java Internet Prolog 
  • Rule-based programming in Java
  •     Mandarax 
  •     Drools 
  •     Jess 
  •     And more ... 
  • Mechanized Reasoning Systems　 
  •     Otter - an automated deduction system  
  •     EQP - an automated theorem proving program for first-order equational logic.  
  • Satisfiability Problem Solvers　 
  •     zchaff - an SAT solver.  
  •     sat4j - A satisfiability library for Java.  
  •     OpenSAT - a software development project that aims the develoment of open source SAT algorithms and their dissemination in the SAT community.  

• ---