+
Point of view
All features
class LOGIGRAM
Summary
top
Direct parents
Insert list: ANY
Overview
top
Creation features
{ANY}
Features
{}
{}
{}
{}
description: DESCRIPTION
writable attribute
{}
top
situation: SITUATION
writable attribute
{}
top
make
effective procedure
{}
top
make_description
effective procedure
{}
top
describe_problem_classic
effective procedure
{}
top
A classic problem.
 Knowing that:
   - the house of the english is red,
   - the spanish has a dog,
   - one drink coffee in the green house,
   - the ukrainian drinks tea,
   - the green house is just at right of the ivory house,
   - the man that smokes winstons have a snail,
   - the man that smokes kools have the yellow house,
   - one drinks milk in the house at the middle,
   - the norvegian lives in the house at left,
   - the one who smokes chesterfields is neibourgh of a fox,
   - the one who smokes kools is neibourgh of a horse,
   - the one who smokes luckystrike drinks orange juice,
   - the japanese smokes parliaments,
   - the norvegian is neibourgh of the blue house.
 Tell who got the zebra and who drinks water?
describe_problem_small
effective procedure
{}
top
A small problem for beginning and debugging
  • The one that had no child was born in 1804 and is not Marie.
  • Julie didn't have exactly one child and had fewer children than Marie.
  • The one that has 2 children was not born in 1805 and is not Eve.
describe_problem_jojo
effective procedure
{}
top
A problem from jojo.
After coming back to China from France, Wang Fox, a student in occidental history, discover that almost all his documents are lost. From its study about 5 ladies of a little french city in the first middle of the 19th century, he only remembers that:
  • fornames are Marie, Julie, Eve, Lucie, Zora.
  • they had from 0 to 4 children (no one the same count)
  • they are born between 1804 and 1808 (inclusive, no one the same)
  • they died between 1844 and 1848 (inclusive, no one the same)
  • The one who died in 1847 was born after the one having 3 children and two years before Eve.
  • The one not having any children has lived less long than Eve and 2 years less than the one born in 1806.
  • Marie did not have 4 children, she has lived at least 41 years and had more children than the one born in 1804.
  • Lucie died before Zora and had fewer children than the one died in 1844.
The same in french.
  • Celle morte en 1847 est née apres celle ayant eu 3 enfants et deux ans avant Eve.
  • Celle n'ayant pas eu d'enfants a vecu moins longtemps que Eve et 2 ans de moins que celle née en 1806.
  • Marie n'a pas eu 4 enfants, elle a vecu au moins 41 ans et a eu plus d'enfant que celle née en 1804.
  • Lucie est morte avant Zora et a eu moins d'enfants que celle decedée en 1844.
describe_problem_big
effective procedure
{}
top
a big problem not translated
group_atomic (nam: STRING, values: ARRAY[STRING])
effective procedure
{}
top
group_numeric (nam: STRING, values: ARRAY[STRING])
effective procedure
{}
top
group_ordered (nam: STRING, values: ARRAY[STRING])
effective procedure
{}
top
rule (cstr: CONSTRAINT)
effective procedure
{}
top
no (i: ITEM, j: ITEM): CONSTRAINT_NO
effective function
{}
top
yes (i: ITEM, j: ITEM): CONSTRAINT_YES
effective function
{}
top
eq (i: EXPR, j: EXPR): CONSTRAINT_EQUAL
effective function
{}
top
effective function
{}
top
inf (i: EXPR, j: EXPR): CONSTRAINT_LESSER
effective function
{}
top
effective function
{}
top
add (i: EXPR, j: EXPR): EXPR_ADD
effective function
{}
top
sub (i: EXPR, j: EXPR): EXPR_SUB
effective function
{}
top
mul (i: EXPR, j: EXPR): EXPR_MUL
effective function
{}
top
abs (i: EXPR): EXPR_ABS
effective function
{}
top
effective function
{}
top
ref (i: ITEM): EXPR_ITEM
effective function
{}
top
item (group: STRING, name: STRING): ITEM_ITEM
effective function
{}
top
var (group: STRING, name: STRING): ITEM_VAR
effective function
{}
top
some (group: STRING): ITEM_VAR
effective function
{}
top