Date: 18/11/1997
Attendance: all, Nick late
Topics:
-------
-Prolog
We are still learning Prolog.
-Questionnaire
We have jet had only one answer.
-Special characters for logic
We will look for a solution later.
-Group web page
It exists now.
-System for our program
We have decided to use Tcl/Tk, C++ and Sicstus Prolog on Unix.
Reasons: It is available and offers all we need.
-ALT-logo and layout of program
Oliver has made two first designs. They include the colours silver and green.
The system will have a textbook-like interface in Tcl/TK.
-Content
We will first try to cover parts of the lectures MC1 an MC2.
-Coding
We are now starting to write code. First code will involve truth tables (in C++).
-Feedback on 1st report
Mark probably a good 2.2. Problems were the vague time-plan, our focus on
languages rather than the system and the spell-checker ("therfore"). Better
marks by having good ideas and expressing them clearly.
Action Points:
--------------
-Meeting on Thursday 4pm (all)
-Design ALT-logo (Oliver)
-Look at existing systems, buggy (Nick)
-Implement truth tables in C++