User Tools
Writing /home/academic/ogsavkovic/public_html/wiki/data/cache/8/8a17fd7ec5e3f59a7d8be1ce56c1e24e.metadata failed
magik-demo:developer:notes:magik3-meeting-minutes
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
magik-demo:developer:notes:magik3-meeting-minutes [2013/05/21 13:36] alex [21/06/2013] |
magik-demo:developer:notes:magik3-meeting-minutes [2017/07/06 15:24] (current) |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== MAGIK Meetings Minutes ====== | ====== MAGIK Meetings Minutes ====== | ||
| - | This document contains meeting minites based on the discussion about the MAGIK development. | + | This document contains meeting minutes based on the discussion about the MAGIK development. |
| Line 48: | Line 48: | ||
| - | * Constants in TC-statements should be represented with using single-quotes, | + | * Constants in TC-statements should be represented with using single-quotes, **Done by Alex** |
| * e.g., ''pupil('John', '1', 'b')'', | * e.g., ''pupil('John', '1', 'b')'', | ||
| * in other words, instead of convention that //a constant is term that starts with a lower-case letter// it should be //a constant is a term between single quotes// | * in other words, instead of convention that //a constant is term that starts with a lower-case letter// it should be //a constant is a term between single quotes// | ||
| Line 69: | Line 69: | ||
| Attendees: Alex, Ognjen | Attendees: Alex, Ognjen | ||
| - | Topic: Introducing double quotes in the encoding of DLV | + | Topic: Introducing double quotes in the encoding of DLV (**Ended in 28 May**) |
| * Replace constants in SQL (unders single quotes) into double quotes in the CQ version of that query | * Replace constants in SQL (unders single quotes) into double quotes in the CQ version of that query | ||
| * Introduce single quotes constants into TC-statements. Then when they are parsed single quotes are replaced with the double quotes | * Introduce single quotes constants into TC-statements. Then when they are parsed single quotes are replaced with the double quotes | ||
| * Approach: First test within the JUnit and then implement it in the code | * Approach: First test within the JUnit and then implement it in the code | ||
| + | |||
| + | Topic: Generalization algorithm | ||
| + | |||
magik-demo/developer/notes/magik3-meeting-minutes.1369136172.txt.gz · Last modified: 2017/07/06 15:24 (external edit)
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 3.0 Unported
